Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance Class Puzzles

Class Tree	[Root]    Puzzles (806)    15-Puzzle (11)      DiamondPuzzle (9)      LatinSquares (200)    NormalLatinSquares (100)      WeightedLatinSquares (100)      MinimumPostageStampProblem (6)      MirrorPuzzle (18)      n-Queens (400)    BlockedN-Queens (400)      StandardN-Queens    NumberSquares (22)    FindingNumbers (12)      PuttingNumbers (10)      OpenDoors (31)      StrategicCompanies (60)      ASP Contest 09 (Strategic Companies) (5)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)      Tangram (15)    Model and Solve Track 3D ASP Competition (13)      Training Instances 3D ASP Competition (2)      TowersOfHanoi (34)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)
Description
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 0