Representing Production Scheduling with Constraint Answer Set Programming

Gerhard Friedrich (), Melanie Frühstück (), Vera Mersheeva (), Anna Ryabokon (), Maria Sander (), Andreas Starzacher () and Erich Teppan ()
Additional contact information
Gerhard Friedrich: Alpen-Adria Universität Klagenfurt
Melanie Frühstück: Alpen-Adria Universität Klagenfurt
Vera Mersheeva: Alpen-Adria Universität Klagenfurt
Anna Ryabokon: Alpen-Adria Universität Klagenfurt
Maria Sander: Infineon Technologies Austria AG
Andreas Starzacher: Infineon Technologies Austria AG
Erich Teppan: Alpen-Adria Universität Klagenfurt

A chapter in Operations Research Proceedings 2014, 2016, pp 159-165 from Springer

Abstract: Abstract Answer Set Programming and Constraint Programming constitute declarative programming approaches with different strengths which have already been shown to be highly effective for many hard combinatorial problems. In this article we discuss two hybrid Constraint Answer Set Programming approaches with regard to their suitability for encoding production scheduling problems. Our exemplifications are done on the basis of a production scheduling problem of Infineon Technologies Austria AG.

Keywords: Answer Set; Declarative Programming Approach; Infineon; Clingcon; Atomic Constraints (search for similar items in EconPapers)
Date: 2016
References: Add references at CitEc
Citations: View citations in EconPapers (1)

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:oprchp:978-3-319-28697-6_23

Ordering information: This item can be ordered from
http://www.springer.com/9783319286976

DOI: 10.1007/978-3-319-28697-6_23

Access Statistics for this chapter

More chapters in Operations Research Proceedings from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().