7 results
SUNNY-CP and the MiniZinc challenge*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 1 / January 2018
- Published online by Cambridge University Press:
- 10 August 2017, pp. 81-96
-
- Article
- Export citation
SUNNY: a Lazy Portfolio Approach for Constraint Solving
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 509-524
-
- Article
- Export citation
Timed soft concurrent constraint programs: An interleaved and a parallel approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 6 / November 2015
- Published online by Cambridge University Press:
- 06 June 2014, pp. 743-782
-
- Article
- Export citation
Unfolding for CHR programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 3 / May 2015
- Published online by Cambridge University Press:
- 08 October 2013, pp. 264-311
-
- Article
- Export citation
Decidability properties for fragments of CHR
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 611-626
-
- Article
- Export citation
On the expressive power of recursion, replication and iteration in process calculi
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1191-1222
-
- Article
- Export citation
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 11 May 2006, pp. 225-226
-
- Article
- Export citation