Satisfiability problem: theory and applications : DIMACS workshop, March …
by Pardalos, P. M., (Panos M.), Du, Dingzhu, Gu, Jun, NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society
fromDIMACS series in discrete mathematics and theoretical compu…