Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Enrico Giunchiglia
Themen in »Theory and Applications of Satisfiability Testing«
Erfüllbarkeitsproblem der Aussagenlogik QBF Resolution SAT algorithms SAT solvers algorithms calculus data structures heuristics local search probabilistic algorithms proof theory propositional logic proving satisfiability
Stimmen zu »Theory and Applications of Satisfiability Testing«
Details
ISBN: 9783540246053
Verlag: Springer Berlin
Erscheinung: 24.02.2004