Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Holger H. Hoos
Themen in »Theory and Applications of Satisfiability Testing«
Addition Boolean variable Erfüllbarkeitsproblem der Aussagenlogik QBF SAT algorithms SAT solvers Variable algorithms calculus complexity complexity theory heuristics local search probabilistic algorithms satisfiability testing
Stimmen zu »Theory and Applications of Satisfiability Testing«
Details
ISBN: 9783540315803
Verlag: Springer Berlin
Erscheinung: 25.08.2005