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]
Unclassified (3031)
Weight-Assignment Tree (20)
Model and Solve Track 3D ASP Competition
(15)
Description
Submitter
Barbara Nardi
Compatible Encodings
Output Predicates
Instances
1 - 15 of 15
 
06-weight_assignment_tree-560-0.asp
 
09-weight_assignment_tree-778-0.asp
 
12-weight_assignment_tree-918-0.asp
 
30-weight_assignment_tree-631-0.asp
 
33-weight_assignment_tree-810-0.asp
 
43-weight_assignment_tree-645-0.asp
 
45-weight_assignment_tree-312-0.asp
 
51-weight_assignment_tree-2133-0.asp
 
52-weight_assignment_tree-1777-0.asp
 
55-weight_assignment_tree-1620-0.asp
 
56-weight_assignment_tree-1735-0.asp
 
58-weight_assignment_tree-1647-0.asp
 
59-weight_assignment_tree-1595-0.asp
 
61-weight_assignment_tree-1542-0.asp
 
62-weight_assignment_tree-2102-0.asp
un-/mark all