External Propagators in WASP: Preliminary Report

Carmine Dodaro, Francesco Ricca, Peter Schüller. External Propagators in WASP: Preliminary Report. In Stefano Bistarelli, Andrea Formisano, Marco Maratea, editors, Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. Volume 1745 of CEUR Workshop Proceedings, pages 1-9, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.