Login / Signup

Extended Resolution Proofs for Conjoining BDDs.

Carsten SinzArmin Biere
Published in: CSR (2006)
Keyphrases
  • high resolution
  • heuristic search
  • data sets
  • website
  • low resolution
  • decision procedures