 |
Decision Procedures: An Algorithmic Point of View (2nd ed.) [Texts in Theoretical Computer Science. An EATCS Series - 1.0] by Kroening, Daniel & Strichman, Ofer24 set, 2018 Tags=[Decision Procedures, Propositional Logic, Pointer Logic, Boolean Satisfiability Solver (SAT), Quantified Formulas, Satisfiability Modulo Theories (SMT), Constraint Satisfaction Problem (CSP), satisfiability, SAT] DOI=[10.1007/978-3-662-50497-0] Formats=[PDF] ISBN=[9783662504970] OCLC=[979975014] Year=[2016]
|