1![Protocol log analysis with constraint programming Mats Carlsson Olga Grinchtein Justin Pearson Protocol log analysis with constraint programming Mats Carlsson Olga Grinchtein Justin Pearson](https://www.pdfsearch.io/img/a47b9d97e45172ebed19bd08728607d8.jpg) | Add to Reading ListSource URL: smt2014.it.uu.seLanguage: English - Date: 2014-07-18 15:02:20
|
---|
2![](/pdf-icon.png) | Add to Reading ListSource URL: www.constraint-programming.com- Date: 2010-03-10 06:11:45
|
---|
3![Answer Sets: From Constraint Programming Towards Qualitative Optimization Gerhard Brewka Answer Sets: From Constraint Programming Towards Qualitative Optimization Gerhard Brewka](https://www.pdfsearch.io/img/75f254b6db4d47e6ba7b3780499429d1.jpg) | Add to Reading ListSource URL: www.informatik.uni-leipzig.deLanguage: English - Date: 2003-12-18 07:00:05
|
---|
4![Constraint Programming Mark Wallace Contact address: Mark Wallace, IC-Parc, William Penney Laboratory, Imperial College, LONDON SW7 2AZ. email: September 1995 Constraint Programming Mark Wallace Contact address: Mark Wallace, IC-Parc, William Penney Laboratory, Imperial College, LONDON SW7 2AZ. email: September 1995](https://www.pdfsearch.io/img/94a638a8e6b75f4629fa67f91e17292e.jpg) | Add to Reading ListSource URL: eclipseclp.orgLanguage: English - Date: 2013-08-14 14:29:38
|
---|
5![Solving Segment Routing Problems with Hybrid Constraint Programming Techniques Renaud Hartert, Pierre Schaus, Stefano Vissicchio, and Olivier Bonaventure UCLouvain, ICTEAM, Place Sainte Barbe 2, 1348 Louvain-la-Neuve, Be Solving Segment Routing Problems with Hybrid Constraint Programming Techniques Renaud Hartert, Pierre Schaus, Stefano Vissicchio, and Olivier Bonaventure UCLouvain, ICTEAM, Place Sainte Barbe 2, 1348 Louvain-la-Neuve, Be](https://www.pdfsearch.io/img/b1c066296a3279e2203fd282a10563dd.jpg) | Add to Reading ListSource URL: www.info.ucl.ac.beLanguage: English - Date: 2018-07-26 05:20:52
|
---|
6![Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical Computer Science Malostranské námûstí 2/25, Praha 1, Czech R Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical Computer Science Malostranské námûstí 2/25, Praha 1, Czech R](https://www.pdfsearch.io/img/062bcd52cbbdaef62b668495fafe2a03.jpg) | Add to Reading ListSource URL: kti.mff.cuni.czLanguage: English - Date: 1999-12-06 11:36:48
|
---|
7![Continuous Casting Scheduling with Constraint Programming Steven Gay1 , Pierre Schaus1 , and Vivian De Smedt2 1 Universit´e Catholique de Louvain, Belgium Continuous Casting Scheduling with Constraint Programming Steven Gay1 , Pierre Schaus1 , and Vivian De Smedt2 1 Universit´e Catholique de Louvain, Belgium](https://www.pdfsearch.io/img/ea5f29c8102e522848f6e1118d07bedd.jpg) | Add to Reading ListSource URL: www.info.ucl.ac.beLanguage: English - Date: 2018-07-26 05:20:47
|
---|
8![Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario M5S 3G8, Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario M5S 3G8,](https://www.pdfsearch.io/img/bfcf57b1d034d8cb9abb6d70953d50f6.jpg) | Add to Reading ListSource URL: tidel.mie.utoronto.caLanguage: English - Date: 2016-07-05 09:49:56
|
---|
9![Curriculum vitæ Jean-Charles Régin Université Nice-Sophia Antipolis (UNS), I3S, CNRS 2000, route des Lucioles - Les Algorithmes - bât. Euclide B BPSophia Antipolis Cedex - France Tel: (+ Curriculum vitæ Jean-Charles Régin Université Nice-Sophia Antipolis (UNS), I3S, CNRS 2000, route des Lucioles - Les Algorithmes - bât. Euclide B BPSophia Antipolis Cedex - France Tel: (+](https://www.pdfsearch.io/img/135472c1d48acd38ba69f8d778bd991d.jpg) | Add to Reading ListSource URL: www.constraint-programming.comLanguage: English - Date: 2017-10-23 14:33:40
|
---|
10![References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a](https://www.pdfsearch.io/img/3364f25442228465c4686695fb1c0b94.jpg) | Add to Reading ListSource URL: profs.sci.univr.itLanguage: English - Date: 2016-11-27 13:25:29
|
---|