Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
Decision Version of Fastfood
Add all to Cart
Pagination
8
9
10
11
12
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class Decision Version of Fastfood
Class Tree
[Root]
Unclassified (3031)
Fastfood (266)
Decision Version of Fastfood
(241)
Model and Solve Track 3D ASP Competition (15)
Training Instances 3D ASP Competition (5)
Description
See
http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/95
Submitter
Martin Gebser
Compatible Encodings
checkdepots.dlv
checkdepots.lparse
fastfood_decision.gringo
Output Predicates
depot/2
restaurant/2
Instances
221 - 221 of 221
 
a9.8.91.asp
un-/mark all