Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch
Titel:
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