Publications

Building State-Of-The-Art Sat Solvers

AuthID
P-000-R38

Author(s)

Lynce, I

Marques Silva, J

Editor(s)

VanHarmelen, F

Document Type

Proceedings Paper

Year published

2002

Published

in ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS in Frontiers in Artificial Intelligence and Applications, ISSN: 0922-6389

Volume: 77, Pages: 166-170 (5)

Conference

15Th European Conference on Artificial Intelligence, Date: JUL 21-26, 2002, Location: LYON, FRANCE, Sponsors: European Coordinating Comm Artificial Intelligence, Assoc Francaise Intelligence Artificielle, INSA, Host: CLAUDE BERNARD UNIV

Indexing