Login / Signup

Algorithms for Solving Boolean Satisfiability in Combinational Circuits.

Luís Guerra e SilvaLuís Miguel SilveiraJoão P. Marques Silva
Published in: DATE (1999)
Keyphrases
  • data structure
  • randomly generated
  • sat solving
  • optimization problems
  • combinatorial optimization
  • objective function
  • linear programming
  • orders of magnitude