Auto-tabling for subproblem presolving in MiniZinc (Englisch)
- Neue Suche nach: Dekker, Jip J.
- Neue Suche nach: Björdal, Gustav
- Neue Suche nach: Carlsson, Mats
- Weitere Informationen zu Carlsson, Mats:
- https://orcid.org/0000-0003-3079-8095
- Neue Suche nach: Flener, Pierre
- Weitere Informationen zu Flener, Pierre:
- https://orcid.org/0000-0001-8730-4098
- Neue Suche nach: Monette, Jean-Noël
- Weitere Informationen zu Monette, Jean-Noël:
- https://orcid.org/0000-0002-5734-5881
- Neue Suche nach: Dekker, Jip J.
- Neue Suche nach: Björdal, Gustav
- Neue Suche nach: Carlsson, Mats
- Weitere Informationen zu Carlsson, Mats:
- https://orcid.org/0000-0003-3079-8095
- Neue Suche nach: Flener, Pierre
- Weitere Informationen zu Flener, Pierre:
- https://orcid.org/0000-0001-8730-4098
- Neue Suche nach: Monette, Jean-Noël
- Weitere Informationen zu Monette, Jean-Noël:
- https://orcid.org/0000-0002-5734-5881
In:
Constraints
;
22
, 4
; 512-529
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Auto-tabling for subproblem presolving in MiniZinc
-
Beteiligte:Dekker, Jip J. ( Autor:in ) / Björdal, Gustav ( Autor:in ) / Carlsson, Mats ( Autor:in ) / Flener, Pierre ( Autor:in ) / Monette, Jean-Noël ( Autor:in )
-
Erschienen in:Constraints ; 22, 4 ; 512-529
-
Verlag:
- Neue Suche nach: Springer US
- Neue Suche nach: Springer
-
Erscheinungsort:Dordrecht
-
Erscheinungsdatum:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.10
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.10 Theoretische Informatik -
Datenquelle:
Inhaltsverzeichnis – Band 22, Ausgabe 4
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 491
-
Introduction to the CPAIOR 2017 fast track issueSalvagnin, Domenico / Lombardi, Michele et al. | 2017
- 493
-
Efficient filtering for the Resource-Cost AllDifferent constraintCauwelaert, Sascha / Schaus, Pierre et al. | 2017
- 512
-
Auto-tabling for subproblem presolving in MiniZincDekker, Jip J. / Björdal, Gustav / Carlsson, Mats / Flener, Pierre / Monette, Jean-Noël et al. | 2017
- 530
-
Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functionsNattaf, Margaux / Artigues, Christian / Lopez, Pierre et al. | 2017
- 548
-
Mining Time-constrained Sequential Patterns with Constraint ProgrammingAoga, John O. R. / Guns, Tias / Schaus, Pierre et al. | 2017