A Multicore Tool for Constraint Solving

February 13, 2015 · Declared Dead · 🏛 International Joint Conference on Artificial Intelligence

👻 CAUSE OF DEATH: Ghosted
No code link whatsoever

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro arXiv ID 1502.03986 Category cs.AI: Artificial Intelligence Citations 42 Venue International Joint Conference on Artificial Intelligence Last Checked 3 months ago
Abstract
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Optimization Problem. In this paper we introduce sunny-cp2: the first parallel CP portfolio solver that enables a dynamic, cooperative, and simultaneous execution of its solvers in a multicore setting. It incorporates state-of-the-art solvers, providing also a usable and configurable framework. Empirical results are very promising. sunny-cp2 can even outperform the performance of the oracle solver which always selects the best solver of the portfolio for a given problem.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Artificial Intelligence

Died the same way — 👻 Ghosted