Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
HamiltonianPath
Add all to Cart
Pagination
1
2
3
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class HamiltonianPath
Class Tree
[Root]
Unclassified (3031)
HamiltonianPath
(58)
Description
Instances of Hamiltonian Path problem
Submitter
Martin Gebser
Compatible Encodings
dlv encoding
nlp encoding
hampath_decision.gringo
Output Predicates
edge/2
start/1
vtx/1
Instances
21 - 40 of 58
 
gryzzles.27.lp
 
gryzzles.28.lp
 
gryzzles.29.lp
 
gryzzles.3.lp
 
gryzzles.30.lp
 
gryzzles.31.lp
 
gryzzles.32.lp
 
gryzzles.33.lp
 
gryzzles.34.lp
 
gryzzles.35.lp
 
gryzzles.36.lp
 
gryzzles.37.lp
 
gryzzles.38.lp
 
gryzzles.39.lp
 
gryzzles.4.lp
 
gryzzles.40.lp
 
gryzzles.41.lp
 
gryzzles.42.lp
 
gryzzles.43.lp
 
gryzzles.44.lp
un-/mark all