Login / Signup

Fast Boolean optimization by rewiring.

Shih-Chieh ChangLukas P. P. P. van GinnekenMalgorzata Marek-Sadowska
Published in: ICCAD (1996)
Keyphrases
  • boolean optimization
  • boolean satisfiability
  • integer linear programming
  • sat solving
  • sat solvers
  • branch and bound algorithm
  • randomly generated
  • sat problem
  • first order logic
  • search tree
  • pseudo boolean