[Lecture Notes in Computer Science] Theory and Applications...

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || An Extensible SAT-solver

Giunchiglia, Enrico, Tacchella, Armando

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Volume:

10.1007/b9

Year:

2004

Language:

english

DOI:

10.1007/978-3-540-24605-3_37

File:

PDF, 600 KB

english, 2004

Conversion to is in progress

Conversion to is failed