An enhanced features extractor for a portfolio of constraint solvers-Reference-Cited by-同舟云学术

An enhanced features extractor for a portfolio of constraint solvers

Published:2014-03-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th Annual ACM Symposium on Applied Computing
language:
Short-container-title:

Author:

Amadini Roberto¹,Gabbrielli Maurizio¹,Mauro Jacopo¹

Affiliation:

1. University of Bologna/INRIA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2554850.2555114

Reference20 articles.

1. An Empirical Evaluation of Portfolios Approaches for Solving CSPs

2. R. Amadini M. Gabbrielli and J. Mauro. Features for Building CSP Portfolio Solvers. CoRR abs/1308.0227 abs/1308.0227 2013. R. Amadini M. Gabbrielli and J. Mauro. Features for Building CSP Portfolio Solvers. CoRR abs/1308.0227 abs/1308.0227 2013.

3. Continuous Search in Constraint Programming

4. R. Becket. Specification of FlatZinc - Version 1.6. http://www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf. R. Becket. Specification of FlatZinc - Version 1.6. http://www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf.

5. Global Constraint Catalogue: Past, Present and Future

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Learning to select SAT encodings for pseudo-Boolean and linear integer constraints;Constraints;2023-09

2. Predictive Machine Learning of Objective Boundaries for Solving COPs;AI;2021-10-28

3. Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study;Logic-Based Program Synthesis and Transformation;2021

4. Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2020

5. Learning Objective Boundaries for Constraint Optimization Problems;Machine Learning, Optimization, and Data Science;2020