Satisfiability modulo user propagators
Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin 2025 Universität
- Link zu diesem Datensatz
-
https://d-nb.info/1364552833
- Titel
-
Satisfiability modulo user propagators
- Art des Inhalts
- Monographie
- Autor(en)
-
- Fazekas, Katalin
- Niemetz, Aina
- Preiner, Mathias
- Kirchweger, Markus
- Szeider, Stefan
- Biere, Armin
- Verlag
- Freiburg : Universität [2025]
- Jahr
- Erscheinungsdatum: 2025
- Zeitliche Einordnung
- Erscheinungsdatum: 2024
- Umfang/Format
- Online-Ressource
- DOI
- 10.1613/jair.1.16163
- Online
- https://doi.org/10.1613/jair.1.16163
- Sprache
- eng
- Schlagwörter
-
- Anmerkungen
-
Journal of artificial intelligence research : JAIR. - 81 (2024) , 989-1017, ISSN: 1076-9757
- Stand
- 04.06.2025 22:52
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
