Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming

Dahlem, Marc; Jain, Tripti; Schneider, Klaus; Gillmann, Michael

doi:10.1007/978-3-319-61660-5_25

Search citation statements

Order By: Relevance

Paper Sections

Select...

General Overview Of Asp Applications1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2018

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This configuration problem became well known as the Partner Units Problem [74] since it is both a highly relevant real-world configuration problem and particularly hard to solve for general problem solvers [3]. A recent application of ASP in the area of configuration and design is the synthesis of optimal-sized concentrators [15].…”

Section: General Overview Of Asp Applicationsmentioning

confidence: 99%

Industrial Applications of Answer Set Programming

et al. 2018

View full text Add to dashboard Cite

Automated problem solving in combination with declarative specifications of search-problems have shown to substantially improve the implementation and maintenance costs as well as the man-machine interaction of deployed industrial applications. The knowledge representation and reasoning (KRR) framework of answer set programming (ASP) offers a rich representation language and high performance solvers. Therefore, ASP has become very attractive for the representation and solving of search-problems both for academia and industry. This article focuses on the latest industrial applications of ASP. We do not only present successful applications of ASP but also describe the development process and the design of ASP programs in an industrial context. Finally, we discuss current approaches to tackle the most significant application challenges such as grounding and runtime improvements by heuristics.

show abstract

Section: General Overview Of Asp Applicationsmentioning

confidence: 99%