1 × Italy
∅ A.Dovier J.Mauro
model (2) constraint (1) techniqu (1) softwar (1) program (1) languag (1) search (1) hybrid (1) execut (1) declar (1)
Person: Raffaele Cipriano
Wrote 2 papers:
- ICLP-2008-Cipriano #constraints #modelling #on the #programming #tool support
- On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools (RC), pp. 803–804.
- ICLP-2008-CiprianoDM #compilation #declarative #modelling
- Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.