%0
Book
%T
Handbook of satisfiability
%A
Biere, Armin
%A
Heule, Marijn H. J.
%A
Maaren, Hans van
%A
Walsh, Toby
%I
IOS Press
%D
2021-
%C
IOS Press
%C
Amsterdam
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation