Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
Model and Solve Track 3D ASP Competition
Add all to Cart
Pagination
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class Model and Solve Track 3D ASP Competition
Class Tree
[Root]
Puzzles (806)
TowersOfHanoi (34)
Model and Solve Track 3D ASP Competition
(15)
Description
Submitter
Barbara Nardi
Compatible Encodings
Output Predicates
Instances
1 - 15 of 15
 
03-hanoi_tower-60-0.asp
 
04-hanoi_tower-60-0.asp
 
09-hanoi_tower-28-0.asp
 
10-hanoi_tower-29-0.asp
 
12-hanoi_tower-31-0.asp
 
14-hanoi_tower-33-0.asp
 
40-hanoi_tower-80-0.asp
 
43-hanoi_tower-100-0.asp
 
46-hanoi_tower-100-0.asp
 
51-hanoi_tower-120-0.asp
 
54-hanoi_tower-120-0.asp
 
56-hanoi_tower-120-0.asp
 
57-hanoi_tower-120-0.asp
 
59-hanoi_tower-120-0.asp
 
60-hanoi_tower-120-0.asp
un-/mark all