An overview of machine learning techniques in constraint solving

Andrei Popescu*, Seda Polat Erdeniz, Alexander Felfernig, Mathias Uta, Müslüm Atas, Viet Man Le, Klaus Pilsl, Martin Enzelsberger, Trang Tran

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Abstract

Constraint solving is applied in different application contexts. Examples thereof are the configuration of complex products and services, the determination of production schedules, and the determination of recommendations in online sales scenarios. Constraint solvers apply, for example, search heuristics to assure adequate runtime performance and prediction quality. Several approaches have already been developed showing that machine learning (ML) can be used to optimize search processes in constraint solving. In this article, we provide an overview of the state of the art in applying ML approaches to constraint solving problems including constraint satisfaction, SAT solving, answer set programming (ASP) and applications thereof such as configuration, constraint-based recommendation, and model-based diagnosis. We compare and discuss the advantages and disadvantages of these approaches and point out relevant directions for future work.
Originalspracheenglisch
Seiten (von - bis)91-118
Seitenumfang28
FachzeitschriftJournal of Intelligent Information Systems
Jahrgang58
Ausgabenummer1
DOIs
PublikationsstatusVeröffentlicht - Feb. 2022

ASJC Scopus subject areas

  • Software
  • Artificial intelligence
  • Information systems
  • Hardware und Architektur
  • Computernetzwerke und -kommunikation

Fingerprint

Untersuchen Sie die Forschungsthemen von „An overview of machine learning techniques in constraint solving“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren