Extending Constraint-Only Representation of Polyhedra with Boolean Constraints.

Alexey Bakhirkin, David Monniaux

Browse the full SAS paper archive.