%0 Book Section %1 series/faia/DrechslerJN21 %A Drechsler, Rolf %A Junttila, Tommi A. %A Niemelä, Ilkka %B Handbook of Satisfiability %D 2021 %E Biere, Armin %E Heule, Marijn %E van Maaren, Hans %E Walsh, Toby %I IOS Press %K dblp %P 1047-1086 %T Non-Clausal SAT and ATPG. %U http://dblp.uni-trier.de/db/series/faia/faia336.html#DrechslerJN21 %V 336 %@ 978-1-64368-161-0

@incollection{series/faia/DrechslerJN21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Drechsler, Rolf and Junttila, Tommi A. and Niemelä, Ilkka}, biburl = {https://www.bibsonomy.org/bibtex/2209ae2e3faa46058b161722cc3c1b1b9/dblp}, booktitle = {Handbook of Satisfiability}, crossref = {series/faia/336}, editor = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby}, ee = {https://doi.org/10.3233/FAIA201011}, interhash = {70f60fd7b6904b8b01bb89c1a011309b}, intrahash = {209ae2e3faa46058b161722cc3c1b1b9}, isbn = {978-1-64368-161-0}, keywords = {dblp}, pages = {1047-1086}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T07:45:38.000+0200}, title = {Non-Clausal SAT and ATPG.}, url = {http://dblp.uni-trier.de/db/series/faia/faia336.html#DrechslerJN21}, volume = 336, year = 2021 }