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
21 - 40 of 100
 
weighted_ls.1613151326
 
weighted_ls.1613163032
 
weighted_ls.1613165324
 
weighted_ls.1668901434
 
weighted_ls.1669104030
 
weighted_ls.1669111930
 
weighted_ls.1669117391
 
weighted_ls.1669118146
 
weighted_ls.1669131750
 
weighted_ls.1669132369
 
weighted_ls.1669208235
 
weighted_ls.1669245041
 
weighted_ls.1669247019
 
weighted_ls.1669252932
 
weighted_ls.1669283100
 
weighted_ls.1669297778
 
weighted_ls.1669310266
 
weighted_ls.1669316059
 
weighted_ls.1669326545
 
weighted_ls.1976043347
un-/mark all