 |
Model Checking (2nd ed.) by Edmund M. Clarke, Jr. & Grumberg, Orna & Kroening, Daniel & Peled, Doron & Veith, Helmut15 mar, 2024 Tags=[COMPUTERS, computer science, CBMC, satisfiability] Amazon=[0262038838] Formats=[EPUB] Google=[OJV5DwAAQBAJ] ISBN=[9780262038836] LCN=[QA76.76.V47 C553 2018] OCLC=[1176304629] Year=[2018] Words=[145,576]
|
 |
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]
|