Sequents and Trees: An...
Andrzej Indrzejczak
Buy from $46.07
eBook from $16.50
|
Handbook of Satisfiability
Armin Biere
Buy from $139.73
eBook from $126.22
|
Theory and Applications of...
Matti Jarvisalo (Editor),
Allen Van Gelder (Editor)
Buy from $49.60
eBook from $16.50
|
Theory and Applications of...
Alessandro Cimatti (Editor),
Roberto Sebastiani (Editor)
Buy from $87.71
eBook from $16.50
|
Theory and Applications of...
Nadia Creignou (Editor),
Daniel Le Berre (Editor)
Buy from $51.65
eBook from $16.50
|
SAT 2005: Satisfiability...
Enrico Giunchiglia (Editor),
Toby Walsh (Editor)
Buy from $98.04
eBook from $47.70
|
Handbook of Satisfiability:...
Armin Biere (Editor),
Hans van Maaren (Editor)
Buy from $217.40
eBook from $161.39
|
