Satisfiability problem
Satisfiability problem
Jun Gu
,
Dingzhu Du
,
Panos M. Pardalos
Details
OL Work ID
OL19900680W
Subjects
Computer algorithms
Propositional calculus
Congresses
Computer science
Decision making
Find this book
Open Library