You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book
Title:
Handbook of satisfiability
/ edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria)
part 1