Picture for Robert Nieuwenhuis

Robert Nieuwenhuis

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning

Add code
Feb 16, 2024
Viaarxiv icon

A New Look at BDDs for Pseudo-Boolean Constraints

Add code
Jan 23, 2014
Figure 1 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 2 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 3 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 4 for A New Look at BDDs for Pseudo-Boolean Constraints
Viaarxiv icon