Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Armin Biere
Themen in »Theory and Applications of Satisfiability Testing - SAT 2006«
QBF SAT solvers SMT algorithms bioinformatics calculus complexity description logics heuristics learning local search optimization random walks resolution satisfiability testing
Stimmen zu »Theory and Applications of Satisfiability Testing - SAT 2006«
Details
ISBN: 9783540372073
Verlag: Springer Berlin
Erscheinung: 19.07.2006