author = { Biere, Armin AND Heule, Marijn H. J. AND Maaren, Hans van AND Walsh, Toby },

title = { Handbook of satisfiability part 2 },

edition = { Second edition } ,

publisher = {IOS Press},

publisher = {},

isbn = {9781643681603},

keywords = { Propositional calculus Congresses , Decision making Congresses , Computer algorithms Congresses , Algebra, Boolean Congresses , Erfüllbarkeitsproblem , Aussagenlogik },

year = {[2021]},

year = {, © 2021},

abstract = {Literaturangaben},

booktitle = {Frontiers in artificial intelligence and applications ; Volume 336,2},

address = { Amsterdam , },

url = { http://slubdd.de/katalog?TN_libero_mab2 }