Picture for Marijn Heule

Marijn Heule

Symbiosis of Search and Heuristics for Random 3-SAT

Add code
Feb 18, 2014
Figure 1 for Symbiosis of Search and Heuristics for Random 3-SAT
Figure 2 for Symbiosis of Search and Heuristics for Random 3-SAT
Figure 3 for Symbiosis of Search and Heuristics for Random 3-SAT
Figure 4 for Symbiosis of Search and Heuristics for Random 3-SAT
Viaarxiv icon

Towards Ultra Rapid Restarts

Add code
Feb 18, 2014
Figure 1 for Towards Ultra Rapid Restarts
Figure 2 for Towards Ultra Rapid Restarts
Viaarxiv icon

Covered Clause Elimination

Add code
Nov 23, 2010
Figure 1 for Covered Clause Elimination
Viaarxiv icon

Symmetry within Solutions

Add code
Apr 15, 2010
Viaarxiv icon