Skip to content
Shelf
mark
Beta
Series
Authors
Genres
New
Pricing
My Shelf
Home
/
Series
/
Lecture Notes in Computer Science
/
Theory and Applications of Satisfiability Testing – SAT 2012
Theory and Applications of Satisfiability Testing – SAT 2012
2012
Book 119 of 442 in
Lecture Notes in Computer Science
SAT 2012 conference proceedings
Full reading order
Find a copy
← Reasoning Web. Semantic Technolo…
Next: Theory and Practice of Digital L…