MPG.eBooks - Search Results - the ((turing guide) OR (during guide))

Search alternatives:
during guide » buying guide , tuning guide , using guide
turing guide » tuning guide , turbine guide , buying guide

Cover Image

1

Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Table of Contents: “... with Interactive Choice of Candidates -- SCSat: A Soft Constraint Guided SAT Solver -- Snappy: A Simple Algorithm...”