 |
Handbook of Satisfiability (2nd ed.) [Frontiers in Artificial Intelligence and Applications - 336.0] by Biere, Armin & Heule, Marjin & Maaren, Hans van & Walsh, Toby19 set, 2018 Tags=[Boolean Algebra -- Congresses, COMPUTERS, computer science, satisfiability, Propositional calculus -- Congresses, Computer algorithms -- Congresses, Decision making -- Congresses, SAT] DOI=[10.3233/FAIA336] Formats=[PDF] Google=[dUAvEAAAQBAJ] ISBN=[9781643681610] LCN=[QA9.3 -- .H36 2021] OCLC=[1252418310] Year=[2021]
|