Picture for Benjamin Musitsch

Benjamin Musitsch

Driving CDCL Search

Add code
Nov 16, 2016
Figure 1 for Driving CDCL Search
Figure 2 for Driving CDCL Search
Figure 3 for Driving CDCL Search
Figure 4 for Driving CDCL Search
Viaarxiv icon

An integrated Graphical User Interface for Debugging Answer Set Programs

Add code
Nov 15, 2016
Figure 1 for An integrated Graphical User Interface for Debugging Answer Set Programs
Figure 2 for An integrated Graphical User Interface for Debugging Answer Set Programs
Figure 3 for An integrated Graphical User Interface for Debugging Answer Set Programs
Figure 4 for An integrated Graphical User Interface for Debugging Answer Set Programs
Viaarxiv icon

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)

Add code
Aug 02, 2016
Figure 1 for Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Figure 2 for Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Figure 3 for Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Viaarxiv icon