1
TÍTULO: An experimental study of satisfiability search heuristics
AUTORES: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLICAÇÃO: 2000, FONTE: Proceedings -Design, Automation and Test in Europe, DATE
INDEXADO EM: Scopus CrossRef: 2
2
TÍTULO: An Experimental Study of Satisfiability Search Heuristics
AUTORES: Karem A. Sakallah; Fadi A. Aloul; João Marques Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
INDEXADO EM: DBLP