An experimental study of satisfiability search heuristics (poster paper)
Authors:
Fadi A. Aloul;João P. Marques-Silva;Karem A. Sakallah
Affiliations:
Department of EECS, University of Michigan, Ann Arbor, MI;IST/INESC, Cadence European Laboratories, R. Alves Redol, 9 1000 Lisboa, Portugal;Department of EECS, University of Michigan, Ann Arbor, MI
Venue:
DATE '00 Proceedings of the conference on Design, automation and test in Europe