Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
Edge Matching
Add all to Cart
Pagination
1
2
3
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class Edge Matching
Class Tree
[Root]
Grids (772)
Edge Matching
(44)
Description
This class contains instances of the Edge Matching problem.
Submitter
Martin Gebser
Compatible Encodings
edge-matching_decision.gringo
Output Predicates
col/1
colour/1
rotation/1
row/1
side/1
tile/1
tileSide/3
Instances
1 - 20 of 44
 
edge-matching-width=10-height=10-colours=10.lp
 
edge-matching-width=10-height=10-colours=11.lp
 
edge-matching-width=10-height=10-colours=12.lp
 
edge-matching-width=10-height=10-colours=13.lp
 
edge-matching-width=10-height=10-colours=14.lp
 
edge-matching-width=10-height=10-colours=15.lp
 
edge-matching-width=10-height=10-colours=5.lp
 
edge-matching-width=10-height=10-colours=6.lp
 
edge-matching-width=10-height=10-colours=7.lp
 
edge-matching-width=10-height=10-colours=8.lp
 
edge-matching-width=10-height=10-colours=9.lp
 
edge-matching-width=7-height=7-colours=10.lp
 
edge-matching-width=7-height=7-colours=11.lp
 
edge-matching-width=7-height=7-colours=12.lp
 
edge-matching-width=7-height=7-colours=13.lp
 
edge-matching-width=7-height=7-colours=14.lp
 
edge-matching-width=7-height=7-colours=15.lp
 
edge-matching-width=7-height=7-colours=5.lp
 
edge-matching-width=7-height=7-colours=6.lp
 
edge-matching-width=7-height=7-colours=7.lp
un-/mark all