Fadi A. Aloul
AuthID: R-00H-889
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
AUTORES: Fadi A Aloul; João P Marques Silva; Karem A Sakallah;
PUBLICAÇÃO: 2000, FONTE: Proceedings -Design, Automation and Test in Europe, DATE
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
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