Satisfiability problem: theory and applications by Pardalos, P. M., (Panos M.), Du, Dingzhu, Gu, Jun, NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science fromDIMACS series in discrete mathematics and theoretical compu… 0 Type: Book
