default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/faia/faia336.bht:"
download as .bib file
@incollection{DBLP:series/faia/0001LM21,
author = {Jo{\~{a}}o Marques{-}Silva and
In{\^{e}}s Lynce and
Sharad Malik},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Conflict-Driven Clause Learning {SAT} Solvers},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {133--182},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200987},
doi = {10.3233/FAIA200987},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/0001LM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Achlioptas21,
author = {Dimitris Achlioptas},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Random Satisfiabiliy},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {437--462},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200993},
doi = {10.3233/FAIA200993},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Achlioptas21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/AltarelliMSZ21,
author = {Fabrizio Altarelli and
R{\'{e}}mi Monasson and
Guilhem Semerjian and
Francesco Zamponi},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Connections to Statistical Physics},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {859--901},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201006},
doi = {10.3233/FAIA201006},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/AltarelliMSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BacchusJM21,
author = {Fahiem Bacchus and
Matti J{\"{a}}rvisalo and
Ruben Martins},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Maximum Satisfiability},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {929--991},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201008},
doi = {10.3233/FAIA201008},
timestamp = {Mon, 17 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BacchusJM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BarrettSST21,
author = {Clark W. Barrett and
Roberto Sebastiani and
Sanjit A. Seshia and
Cesare Tinelli},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Satisfiability Modulo Theories},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1267--1329},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201017},
doi = {10.3233/FAIA201017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BarrettSST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BeyersdorffJLS21,
author = {Olaf Beyersdorff and
Mikol{\'{a}}s Janota and
Florian Lonsing and
Martina Seidl},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Quantified Boolean Formulas},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1177--1221},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201015},
doi = {10.3233/FAIA201015},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BeyersdorffJLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Biere21,
author = {Armin Biere},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Bounded Model Checking},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {739--764},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201002},
doi = {10.3233/FAIA201002},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Biere21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BiereJK21,
author = {Armin Biere and
Matti J{\"{a}}rvisalo and
Benjamin Kiesl},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Preprocessing in {SAT} Solving},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {391--435},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200992},
doi = {10.3233/FAIA200992},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BiereJK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BuningB21,
author = {Hans Kleine{ }B{\"{u}}ning and
Uwe Bubeck},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Theory of Quantified Boolean Formulas},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1131--1156},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201013},
doi = {10.3233/FAIA201013},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BuningB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BuningK21,
author = {Hans Kleine{ }B{\"{u}}ning and
Oliver Kullmann},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Minimal Unsatisfiability and Autarkies},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {571--633},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200997},
doi = {10.3233/FAIA200997},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BuningK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BussN21,
author = {Sam Buss and
Jakob Nordstr{\"{o}}m},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Proof Complexity and {SAT} Solving},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {233--350},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200990},
doi = {10.3233/FAIA200990},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BussN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/ChakrabortyMV21,
author = {Supratik Chakraborty and
Kuldeep S. Meel and
Moshe Y. Vardi},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Approximate Model Counting},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1015--1045},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201010},
doi = {10.3233/FAIA201010},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/ChakrabortyMV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/DantsinH21,
author = {Evgeny Dantsin and
Edward A. Hirsch},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Worst-Case Upper Bounds},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {669--692},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200999},
doi = {10.3233/FAIA200999},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/DantsinH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/DarwicheP21,
author = {Adnan Darwiche and
Knot Pipatsrisawat},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Complete Algorithms},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {101--132},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200986},
doi = {10.3233/FAIA200986},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/DarwicheP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/DrechslerJN21,
author = {Rolf Drechsler and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Non-Clausal {SAT} and {ATPG}},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1047--1086},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201011},
doi = {10.3233/FAIA201011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/DrechslerJN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/FrancoM21,
author = {John Franco and
John Martin},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {A History of Satisfiability},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {3--74},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200984},
doi = {10.3233/FAIA200984},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/FrancoM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GiunchigliaMN21,
author = {Enrico Giunchiglia and
Paolo Marin and
Massimo Narizzano},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Reasoning with Quantified Boolean Formulas},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1157--1176},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201014},
doi = {10.3233/FAIA201014},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/GiunchigliaMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GomesS21,
author = {Carla P. Gomes and
Ashish Sabharwal},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Exploiting Runtime Variation in Complete Solvers},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {463--480},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200994},
doi = {10.3233/FAIA200994},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/GomesS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GomesSS21,
author = {Carla P. Gomes and
Ashish Sabharwal and
Bart Selman},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Model Counting},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {993--1014},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201009},
doi = {10.3233/FAIA201009},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/GomesSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Heule21,
author = {Marijn J. H. Heule},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Proofs of Unsatisfiability},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {635--668},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200998},
doi = {10.3233/FAIA200998},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Heule21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/HeuleM21,
author = {Marijn J. H. Heule and
Hans van Maaren},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Look-Ahead Based {SAT} Solvers},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {183--212},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200988},
doi = {10.3233/FAIA200988},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/HeuleM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/HoosHL21,
author = {Holger H. Hoos and
Frank Hutter and
Kevin Leyton{-}Brown},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Automated Configuration and Selection of {SAT} Solvers},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {481--507},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200995},
doi = {10.3233/FAIA200995},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/HoosHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/KautzSS21,
author = {Henry A. Kautz and
Ashish Sabharwal and
Bart Selman},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Incomplete Algorithms},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {213--232},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200989},
doi = {10.3233/FAIA200989},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/KautzSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Kroening21,
author = {Daniel Kroening},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Software Verification},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {791--818},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201004},
doi = {10.3233/FAIA201004},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Kroening21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Kullmann21,
author = {Oliver Kullmann},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Fundaments of Branching Heuristics},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {351--390},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200991},
doi = {10.3233/FAIA200991},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Kullmann21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/LiM21,
author = {Chu Min Li and
Felip Many{\`{a}}},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {MaxSAT, Hard and Soft Constraints},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {903--927},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201007},
doi = {10.3233/FAIA201007},
timestamp = {Mon, 21 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/LiM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Majercik21,
author = {Stephen M. Majercik},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Stochastic Boolean Satisfiability},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1331--1369},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201018},
doi = {10.3233/FAIA201018},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Majercik21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Prestwich21,
author = {Steven D. Prestwich},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {{CNF} Encodings},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {75--100},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200985},
doi = {10.3233/FAIA200985},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Prestwich21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Rintanen21,
author = {Jussi Rintanen},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Planning and {SAT}},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {765--789},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201003},
doi = {10.3233/FAIA201003},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Rintanen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/RousselM21,
author = {Olivier Roussel and
Vasco Manquinho},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Pseudo-Boolean and Cardinality Constraints},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1087--1129},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201012},
doi = {10.3233/FAIA201012},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/RousselM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Sakallah21,
author = {Karem A. Sakallah},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Symmetry and Satisfiability},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {509--570},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200996},
doi = {10.3233/FAIA200996},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Sakallah21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/SamerS21,
author = {Marko Samer and
Stefan Szeider},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Fixed-Parameter Tractability},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {693--736},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201000},
doi = {10.3233/FAIA201000},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/SamerS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/SebastianiT21,
author = {Roberto Sebastiani and
Armando Tacchella},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {{SAT} Techniques for Modal and Description Logics},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1223--1266},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201016},
doi = {10.3233/FAIA201016},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/SebastianiT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Zhang21,
author = {Hantao Zhang},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Combinatorial Designs by {SAT} Solvers},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {819--858},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201005},
doi = {10.3233/FAIA201005},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/Zhang21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/faia/336,
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA336},
doi = {10.3233/FAIA336},
isbn = {978-1-64368-160-3},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/336.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-28 12:31 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
