An abstract view on optimizations in propositional frameworks

Search/optimization problems are plentiful in scientific and engineering domains. Artificial intelligence has long contributed to the development of search algorithms and declarative programming languages geared toward solving and modeling search/optimization problems. Automated reasoning and knowle...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Annals of mathematics and artificial intelligence 2024-04, Vol.92 (2), p.355-391
1. Verfasser:	Lierler, Yuliya
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial Intelligence Automated reasoning Automation Complex Systems Computer Science Declarative programming Knowledge representation Mathematical programming Mathematics Modularity Optimization Programming languages Regular Submission Search algorithms
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!