| Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. | 0 | 0.34 | 2020 |
| RobTest - A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. | 0 | 0.34 | 2020 |
| Combinatorial Register Allocation and Instruction Scheduling. | 2 | 0.37 | 2019 |
| Time-aware Test Execution Scheduling for Cyber-Physical Systems. | 0 | 0.34 | 2019 |
| Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. | 0 | 0.34 | 2018 |
| Complete and Practical Universal Instruction Selection. | 0 | 0.34 | 2017 |
| Scheduling double round-robin tournaments with divisional play using constraint programming. | 3 | 0.38 | 2017 |
| Auto-tabling for subproblem presolving in MiniZinc. | 2 | 0.38 | 2017 |
| Modelling and Verification of User Interactions Using Constraint Programming | 0 | 0.34 | 2017 |
| Time-Aware Test Case Execution Scheduling For Cyber-Physical Systems | 1 | 0.37 | 2017 |
| Global Constraint Catalog, Volume II, Time-Series Constraints. | 4 | 0.44 | 2016 |
| Software Product Line Test Suite Reduction with Constraint Optimization. | 0 | 0.34 | 2016 |
| Systematic Derivation Of Bounds And Glue Constraints For Time-Series Constraints | 3 | 0.41 | 2016 |
| A New Approach To Feature-Based Test Suite Reduction In Software Product Line Testing | 0 | 0.34 | 2016 |
| Using finite transducers for describing and synthesising structural time-series constraints | 8 | 0.60 | 2016 |
| Automated Regression Testing Using Constraint Programming. | 1 | 0.35 | 2016 |
| Modeling Universal Instruction Selection | 2 | 0.36 | 2015 |
| A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs | 2 | 0.38 | 2015 |
| Erratum to: Modeling Universal Instruction Selection. | 0 | 0.34 | 2015 |
| Synchronized sweep algorithms for scalable scheduling constraints | 0 | 0.34 | 2015 |
| Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks | 7 | 0.50 | 2015 |
| A Modelling Pearl with Sortedness Constraints | 1 | 0.37 | 2015 |
| An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments. | 2 | 0.37 | 2014 |
| Protocol Log Analysis with Constraint Programming. | 0 | 0.34 | 2014 |
| Combinatorial spill code optimization and ultimate coalescing | 5 | 0.41 | 2014 |
| Constraint-based code generation | 1 | 0.36 | 2013 |
| On matrices, automata, and double counting in constraint programming | 2 | 0.37 | 2013 |
| On the reification of global constraints | 12 | 0.77 | 2013 |
| A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. | 1 | 0.36 | 2013 |
| GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. | 1 | 0.37 | 2013 |
| A scalable sweep algorithm for the cumulative constraint | 11 | 1.06 | 2012 |
| An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization | 0 | 0.34 | 2012 |
| Constraint-Based register allocation and instruction scheduling | 7 | 0.50 | 2012 |
| Random indexing for finding similar nodes within large RDF graphs | 7 | 0.49 | 2011 |
| New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles | 15 | 0.83 | 2011 |
| A generic visualization platform for CP | 5 | 0.46 | 2010 |
| Integrating Rule-Based Modelling And Constraint Programming For Solving Industrial Packing Problems | 1 | 0.36 | 2010 |
| On matrices, automata, and double counting | 4 | 0.49 | 2010 |
| Sicstus prolog-the first 25 years | 15 | 0.66 | 2010 |
| Six Ways of Integrating Symmetries within Non-overlapping Constraints | 0 | 0.34 | 2009 |
| Constraint Programming in Sweden | 10 | 0.97 | 2009 |
| A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules | 6 | 0.51 | 2008 |
| A generic geometrical constraint kernel in space and time for handling polymorphic k-dimensional objects | 20 | 1.07 | 2007 |
| Global Constraint Catalogue: Past, Present and Future | 35 | 1.56 | 2007 |
| Sweep synchronization as a global propagation mechanism | 8 | 0.57 | 2006 |
| Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers | 10 | 0.82 | 2006 |
| Graph properties based filtering | 1 | 0.37 | 2006 |
| Graph Invariants as Necessary Conditions for Global Constraints | 5 | 0.58 | 2005 |
| Reformulation of Global Constraints Based on Constraints Checkers | 19 | 0.97 | 2005 |
| Global gene expression analysis by combinatorial optimization. | 0 | 0.34 | 2004 |
