Login / Signup

FPGA PLB Evaluation using Quantified Boolean Satisfiability.

Andrew C. LingDeshanand P. SinghStephen Dean Brown
Published in: FPL (2005)
Keyphrases
  • boolean satisfiability
  • sat solvers
  • integer linear programming
  • boolean optimization
  • combinatorial problems
  • sat problem
  • scheduling problem
  • branch and bound algorithm
  • randomly generated