Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Ofer Strichman
Themen in »Theory and Applications of Satisfiability Testing - SAT 2010«
MiniSAT SAT algorithms SAT complexity SAT translation algorithms combinatorics complexity computational complexity distributed algorithms k-SAT logic polynomial time reduction proof complexity satisfiability testing structured analysis
Stimmen zu »Theory and Applications of Satisfiability Testing - SAT 2010«
Details
ISBN: 9783642141850
Verlag: Springer Berlin
Erscheinung: 30.06.2010