Boolean constrained encoding: a new formulation and a case study.

Ney Laert Vilar Calazans

Browse the full ICCAD paper archive.