The ability to efficiently solve hard combinatorial optimization problems is a key prerequisite
to various applications of declarative programming paradigms. Symmetries in solution …

Multi-component machines deployed, eg, in paper and steel industries, have complex
physical and functional dependencies between their components. This profoundly affects …

Learning Efficient Constraints in Answer Set Programming Page 1 Learning Efficient
Constraints in Answer Set Programming Alice Tarzariol, Martin Gebser, Konstantin …

The process of coming up with an effective constraint programming (CP) model for complex
industrial optimization problems constitutes a cumbersome engineering task. Not only the …

Für das effiziente Lösen kombinatorischer Probleme kann das Herausfiltern symmetrischer
Lösungskandidaten aus dem Suchraum entscheidend sein. Die meisten existierenden …

The International Conference on Logic Programming (ICLP) is the premiere international
scientific venue for presenting, discussing, and disseminating fundamental and applied …