An Extensible SAT-solver
Paper i proceeding, 2003
Författare
Niklas Sörensson
Göteborgs universitet
Niklas Een
Chalmers, Institutionen för datavetenskap
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 2919 502-5183-540-20851-8 (ISBN)
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1007/978-3-540-24605-3_37
ISBN
3-540-20851-8