Biere, Armin (Editor)
Handbook of satisfiability (in two parts) - 2nd ed. - Amsterdam IOS Press 2021 - various pagings - Frontiers in artificial intelligence and applications .
9781643681603
Algebra, Boolean
Computer algorithms
511.3 BIE/H
Handbook of satisfiability (in two parts) - 2nd ed. - Amsterdam IOS Press 2021 - various pagings - Frontiers in artificial intelligence and applications .
9781643681603
Algebra, Boolean
Computer algorithms
511.3 BIE/H