STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Joao Marques-Silva | lit.salon
Joao Marques-Silva
No bio available.
Add one in Open Library.
Books by Joao Marques-Silva (50 max)
+ shelf
+ list
Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
2007
Joao Marques-Silva, Karem A. Sakallah
