SP Satisfiability problem: theory and applications : DIMACS workshop, March … fromDIMACS series in discrete mathematics and theoretical compu… 0 Type: Book
