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
81 - 100 of 100
 
weighted_ls.1976161474
 
weighted_ls.1976164056
 
weighted_ls.1976164284
 
weighted_ls.1976165801
 
weighted_ls.2014055009
 
weighted_ls.2014058873
 
weighted_ls.2014063812
 
weighted_ls.2014064590
 
weighted_ls.2014066303
 
weighted_ls.2014066750
 
weighted_ls.2014069383
 
weighted_ls.2014072825
 
weighted_ls.2014084630
 
weighted_ls.2014089081
 
weighted_ls.2014160293
 
weighted_ls.2014166258
 
weighted_ls.2014166698
 
weighted_ls.2014169941
 
weighted_ls.2014174285
 
weighted_ls.2014181384
un-/mark all