Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
WeightedLatinSquares
Add all to Cart
Pagination
1
2
3
4
5
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class WeightedLatinSquares
Class Tree
[Root]
Puzzles (806)
LatinSquares (200)
WeightedLatinSquares
(100)
Description
Submitter
Martin Gebser
Compatible Encodings
Output Predicates
Instances
41 - 60 of 100
 
weighted_ls.1976043746
 
weighted_ls.1976048051
 
weighted_ls.1976048738
 
weighted_ls.1976049584
 
weighted_ls.1976055607
 
weighted_ls.1976056195
 
weighted_ls.1976089585
 
weighted_ls.1976090084
 
weighted_ls.1976090993
 
weighted_ls.1976095069
 
weighted_ls.1976095999
 
weighted_ls.1976097106
 
weighted_ls.1976097683
 
weighted_ls.1976102161
 
weighted_ls.1976103815
 
weighted_ls.1976108929
 
weighted_ls.1976109431
 
weighted_ls.1976113208
 
weighted_ls.1976114542
 
weighted_ls.1976116968
un-/mark all