Sciweavers

FMCAD
2008
Springer

Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver

13 years 5 months ago
Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver
Armin Biere, Robert Brummayer
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMCAD
Authors Armin Biere, Robert Brummayer
Comments (0)