Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints


Dec 03, 2019
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz

Add code

* 47 pages, 5 figures, 5 tables 

   Access Paper or Ask Questions

Time-aware Test Case Execution Scheduling for Cyber-Physical Systems


Feb 12, 2019
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Add code

* In: Beck J. (eds) Principles and Practice of Constraint Programming. CP 2017. Lecture Notes in Computer Science, vol 10416. Springer, Cham 
* Published in the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017) 

   Access Paper or Ask Questions

Global Constraint Catalog, Volume II, Time-Series Constraints


Sep 18, 2018
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

Add code

* 3762 pages 

   Access Paper or Ask Questions