Skip to Main content Skip to Navigation
Conference papers

Flexible, Rule-Based Constraint Model Linearisation

Abstract : Nonlinear constraint satisfaction or optimisation models need to be reduced to equivalent linear forms before they can be solved by (Integer) Linear Programming solvers. A choice of linearisation methods exist. There are generic linearisations and constraint-specific, user-defined linearisations. Hence a model reformulation system needs to be flexible and open to allow complex and novel linearisations to be specified. In this paper we show how the declarative model reformulation system Cadmium can be used to effectively transform constraint problems to different linearisations, allowing easy exploration of linearisation possibilities.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01301576
Contributor : Jakob Puchinger <>
Submitted on : Thursday, April 21, 2016 - 9:28:53 AM
Last modification on : Tuesday, June 15, 2021 - 4:17:37 PM
Long-term archiving on: : Friday, July 22, 2016 - 10:23:17 AM

File

padl08.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Sebastian Brand, Gregory Duck, Jakob Puchinger, Peter Stuckey. Flexible, Rule-Based Constraint Model Linearisation. Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, Jan 2008, San Francisco, United States. pp.Pages 68-83, ⟨10.1007/978-3-540-77442-6_6⟩. ⟨hal-01301576⟩

Share

Metrics

Record views

135

Files downloads

340