Picture for Saurabh Joshi

Saurabh Joshi

Phase Transition Behavior of Cardinality and XOR Constraints

Add code
Oct 22, 2019
Figure 1 for Phase Transition Behavior of Cardinality and XOR Constraints
Figure 2 for Phase Transition Behavior of Cardinality and XOR Constraints
Figure 3 for Phase Transition Behavior of Cardinality and XOR Constraints
Figure 4 for Phase Transition Behavior of Cardinality and XOR Constraints
Viaarxiv icon

Reflections on "Incremental Cardinality Constraints for MaxSAT"

Add code
Oct 10, 2019
Figure 1 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 2 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 3 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 4 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Viaarxiv icon

Approximation Strategies for Incomplete MaxSAT

Add code
Jun 19, 2018
Figure 1 for Approximation Strategies for Incomplete MaxSAT
Viaarxiv icon

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Add code
Jul 21, 2015
Figure 1 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Figure 2 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Figure 3 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Viaarxiv icon

Incremental Cardinality Constraints for MaxSAT

Add code
Aug 20, 2014
Figure 1 for Incremental Cardinality Constraints for MaxSAT
Figure 2 for Incremental Cardinality Constraints for MaxSAT
Figure 3 for Incremental Cardinality Constraints for MaxSAT
Figure 4 for Incremental Cardinality Constraints for MaxSAT
Viaarxiv icon