The silent (r)evolution of SAT

Fichte, Johannes K.; Le Berre, Daniel; Hecher, Markus; Szeider, Stefan

doi:10.1145/3560469

Datensatz Zitierlink:

http://hdl.handle.net/20.500.12708/190276

Titel:

Zitat:

Fichte, J. K., Le Berre, D., Hecher, M., & Szeider, S. (2023). The silent (r)evolution of SAT. Communications of the ACM, 66(6), 64–72. https://doi.org/10.1145/3560469

Verlags-DOI:

10.1145/3560469

CatalogPlus:

AC17202345

Publikationstyp:

Artikel - Forschungsartikel

Sprache:

Englisch

Autor_innen:

Fichte, Johannes K.
Le Berre, Daniel
Hecher, Markus
Szeider, Stefan

Organisationseinheit:

E192-01 - Forschungsbereich Algorithms and Complexity

Zeitschrift:

Communications of the ACM

ISSN:

0001-0782

Datum (veröffentlicht):

Jun-2023

Umfang:

Verlag:

ASSOC COMPUTING MACHINERY

Peer Reviewed:

Keywords:

Propositional Satisfiability; Optimization; Constraint Programming

Abstract:

Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.

Projekttitel:

START: Y 698-N23 (FWF - Österr. Wissenschaftsfonds)
Hybrid Parameterized Problem Solving in Practice: P32830-N (FWF - Österr. Wissenschaftsfonds)
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI: ICT19-065 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)

Projekt (extern):

Austrian Science Fund (FWF)

Projektnummer:

J4656

Forschungsschwerpunkte:

Logic and Computation: 100%

Wissenschaftszweig:

1020 - Informatik: 80%
1010 - Mathematik: 20%

Lizenz:

CC BY-NC-ND 4.0