R. Drechsler, T. Junttila, и I. Niemelä. Handbook of Satisfiability, том 336 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}
