iPhone Portable Genius

by (author) Paul McFedries

Windows 10 Portable Genius

by (author) Paul McFedries

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

by (author) Holger H. Hoos
edited by David G. Mitchell