1
TITLE: An experimental study of satisfiability search heuristics
AUTHORS: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLISHED: 2000, SOURCE: Proceedings -Design, Automation and Test in Europe, DATE
INDEXED IN: Scopus CrossRef: 2
2
TITLE: An Experimental Study of Satisfiability Search Heuristics
AUTHORS: Karem A. Sakallah; Fadi A. Aloul; João Marques Marques Silva ;
PUBLISHED: 2000, SOURCE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
INDEXED IN: DBLP