Automated streamliner portfolios for constraint satisfaction problems

DOI10.1016/J.ARTINT.2023.103915MaRDI QIDQ6161503zbMATH OpenOpenAlexFDO

Authors

Publication date 27 June 2023

Published in Artificial Intelligence (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.artint.2023.103915

zbMATH Keywords

algorithm selectionconstraint modellingconstraint programmingconstraint satisfaction problem

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites work

• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Algorithm selection for combinatorial search problems: a survey
• Automatic Detection of Variable and Value Symmetries
• Automatically improving constraint models in Savile Row
• Discriminating instance generation from abstract specifications: a case study with CP and MIP
• Dominance breaking constraints
• Essence: A constraint language for specifying combinatorial problems
• Exploiting subproblem dominance in constraint programming
• Filtering algorithms for the multiset ordering constraint
• scientific article; zbMATH DE number 1975610 (Why is no real title available?)
• scientific article; zbMATH DE number 2084734 (Why is no real title available?)
• Hypervolume indicator and dominance reward based multi-objective Monte-Carlo tree search
• Model counting: a new stategy for obtaining good bounds
• On the Erdős discrepancy problem
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2004
• Principles and Practice of Constraint Programming – CP 2004
• Propagation algorithms for lexicographic ordering constraints
• SATzilla: portfolio-based algorithm selection for SAT
• Theory and Applications of Satisfiability Testing
• Towards objective measures of algorithm performance across instance space

Cited in

(2)

• Generating streamlining constraints with large language models
• Automatic construction of optimal static sequential portfolios for AI planning and beyond

This page was built for publication: Automated streamliner portfolios for constraint satisfaction problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6161503)