Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges

From MaRDI portal
Publication:5743603

DOI10.1007/978-3-319-27436-2_21zbMath1473.68184DBLPconf/lopstr/AmadiniGM15OpenAlexW2405799423WikidataQ62043681 ScholiaQ62043681MaRDI QIDQ5743603

Maurizio Gabbrielli, Jacopo Mauro, Roberto Amadini

Publication date: 5 February 2016

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01227598/file/lopstr_2015.pdf




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges