scientific article; zbMATH DE number 1975610
From MaRDI portal
Publication:4424851
zbMath1023.68668MaRDI QIDQ4424851
Alan M. Frisch, Toby Walsh, Ian Miguel
Publication date: 7 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2627/26270015.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
\textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Automatically improving constraint models in Savile Row ⋮ Automatic generation of dominance breaking nogoods for a class of constraint optimization problems ⋮ Automated streamliner portfolios for constraint satisfaction problems ⋮ Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$ ⋮ A Novel Approach For Detecting Symmetries in CSP Models ⋮ Automated reformulation of specifications by safe delay of constraints ⋮ On implementing symmetry detection ⋮ Symmetries, almost symmetries, and lazy clause generation
Uses Software
This page was built for publication:
