Total Books: 1 - 3 /3
DNA Computing (vol. # 4287)
This book constitutes the thoroughly refereed postproceedings of the 12th International Meeting on DNA Computing, DNA12, ...
Weiterlesen
Theory and Applications of Satisfiability Testing (vol. # 3569)
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Weiterlesen
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Weiterlesen
Total Books: 1 - 3 /3
