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 Connected Dominating Set

Class Tree	[Root]    Graphs (3030)    Connected Dominating Set (5)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/76
Submitter	Martin Gebser
Compatible Encodings	cds_decision.gringo
Output Predicates	bound/1 edge/2 vtx/1
Instances 1 - 5 of 5	rand_50_250_1235336870_0_k=8_sat.gph     rand_50_250_1235345753_0_k=6_unsat.gph     rand_50_250_1235842610_0_k=6_unsat.gph     rand_50_250_1235842610_0_k=7_sat.gph     rand_55_250_1235855873_0_k=7_unsat.gph    un-/mark all