Automatically improving constraint models in Savile Row

When solving a combinatorial problem using Constraint Programming (CP) or Satisfiability (SAT), modelling and formulation are vital and difficult tasks. Even an expert human may explore many alternatives in modelling a single problem. We make a number of contributions in the automated modelling and...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Artificial intelligence Jg. 251; S. 35 - 61
Hauptverfasser:	Nightingale, Peter, Akgün, Özgür, Gent, Ian P., Jefferson, Christopher, Miguel, Ian, Spracklen, Patrick
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 01.10.2017 Elsevier Science Ltd
Schlagworte:	Combinatorial analysis Common subexpression elimination Commutativity Computer programming Constraint modelling Constraint satisfaction Modelling Problem solving Propositional satisfiability Reformulation Theory of constraints Constraint satisfaction Common subexpression elimination Modelling Propositional satisfiability Reformulation
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!