Login / Signup

The analysis of cyclic circuits with Boolean satisfiability.

John D. BackesBrian FettMarc D. Riedel
Published in: ICCAD (2008)
Keyphrases
  • boolean satisfiability
  • cellular automata
  • randomly generated
  • column generation