All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
WeiterlesenThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Weiterlesen