Picture for Anton Belov

Anton Belov

SAT-based Preprocessing for MaxSAT (extended version)

Add code
Oct 16, 2013
Figure 1 for SAT-based Preprocessing for MaxSAT (extended version)
Figure 2 for SAT-based Preprocessing for MaxSAT (extended version)
Figure 3 for SAT-based Preprocessing for MaxSAT (extended version)
Viaarxiv icon

Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality

Add code
Jul 10, 2012
Figure 1 for Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality
Figure 2 for Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality
Viaarxiv icon

Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability

Add code
Sep 09, 2011
Figure 1 for Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Figure 2 for Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Figure 3 for Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Viaarxiv icon