Satisfiability Problem
Ding-Zhu (EDT) Du; Jun (EDT) Gu; Panos M. Pardalos
Amer Mathematical Society
1997
sidottu