Instance Class Model and Solve Track 3D ASP Competition

Class Tree	[Root] Graphs (3030) CrossingMinimization (20) Model and Solve Track 3D ASP Competition (15)
Description
Submitter	Barbara Nardi
Compatible Encodings
Output Predicates
Instances 1 - 15 of 15	11-crossing_minimization-10-0.asp 19-crossing_minimization-10-0.asp 25-crossing_minimization-8-0.asp 30-crossing_minimization-9-0.asp 36-crossing_minimization-9-0.asp 41-crossing_minimization-10-0.asp 48-crossing_minimization-10-0.asp 52-crossing_minimization-8-0.asp 60-crossing_minimization-9-0.asp 68-crossing_minimization-9-0.asp 72-crossing_minimization-8-0.asp 77-crossing_minimization-8-0.asp 81-crossing_minimization-9-0.asp 87-crossing_minimization-9-0.asp 95-crossing_minimization-8-0.asp un-/mark all

Actions