Skip header Section
Skip Bibliometrics Section
Handbook of Constraint Programming (Foundations of Artificial Intelligence)October 2006
- Authors:
- Francesca Rossi,
- Peter van Beek,
- Toby Walsh
Abstract
No abstract available.
Cited By
Dalmau V and Opršal J Local consistency as a reduction between constraint satisfaction problems Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-15)- Iurlano E, Zec T, Djukanovic M and Raidl G (2024). Signed double Roman domination on cubic graphs, Applied Mathematics and Computation, 471:C, Online publication date: 15-Jun-2024.
- Yang S, Liu Y, Cui L, Peng Y, Li Z and Leung V (2024). ER-OCN, Computer Communications, 222:C, (97-107), Online publication date: 1-Jun-2024.
- Guo J and Bard J (2024). Air traffic controller scheduling, Computers and Industrial Engineering, 191:C, Online publication date: 1-May-2024.
- Guo D (2024). Fast scheduling of human-robot teams collaboration on synchronised production-logistics tasks in aircraft assembly, Robotics and Computer-Integrated Manufacturing, 85:C, Online publication date: 1-Feb-2024.
- Ziadlou G, Emami S and Asadi-Gangraj E (2024). Network configuration distributed production scheduling problem, Computers and Industrial Engineering, 188:C, Online publication date: 1-Feb-2024.
- Antonante P, Nilsen H and Carlone L (2023). Monitoring of perception systems, Artificial Intelligence, 325:C, Online publication date: 1-Dec-2023.
- Tsoupidi R, Troubitsyna E and Papadimitratos P (2023). Thwarting code-reuse and side-channel attacks in embedded systems, Computers and Security, 133:C, Online publication date: 1-Oct-2023.
- Toro Icarte R, Klassen T, Valenzano R, Castro M, Waldie E and McIlraith S (2023). Learning reward machines, Artificial Intelligence, 323:C, Online publication date: 1-Oct-2023.
- Rodler P (2023). Sequential model-based diagnosis by systematic search, Artificial Intelligence, 323:C, Online publication date: 1-Oct-2023.
- Lee J and Zhong A (2023). Automatic generation of dominance breaking nogoods for a class of constraint optimization problems, Artificial Intelligence, 323:C, Online publication date: 1-Oct-2023.
- Fang C and Williams B (2023). A conflict-directed approach to chance-constrained mixed logical linear programming, Artificial Intelligence, 323:C, Online publication date: 1-Oct-2023.
- Cena C, Akgün Ö, Kiziltan Z, Miguel I, Nightingale P and Ulrich-Oltean F Learning when to use automatic tabulation in constraint model reformulation Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, (1902-1910)
- Codognet P Encoding the At-Most-One Constraint for QUBO and Quantum Annealing: Experiments with the N-Queens problem Proceedings of the Companion Conference on Genetic and Evolutionary Computation, (2195-2202)
- Jastrząb T, Lardeux F and Monfroy E Inference of Over-Constrained NFA of Size to Efficiently and Systematically Derive NFA of Size k for Grammar Learning Computational Science – ICCS 2023, (134-147)
- Berg J, Bogaerts B, Nordström J, Oertel A and Vandesande D Certified Core-Guided MaxSAT Solving Automated Deduction – CADE 29, (1-22)
- Lin C, Shi J, Ueter N, Günzel M, Reineke J and Chen J (2023). Type-Aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms, IEEE Transactions on Computers, 72:5, (1286-1300), Online publication date: 1-May-2023.
- Sheng F, Liu C, Wang Y and Shen Y Design of Geospatial Big Data Cloud Platform for Land Resources Proceedings of the 5th International Conference on Information Technologies and Electrical Engineering, (699-704)
- Adhikari B, Ranashing S, Miller B, Novak V and Jiang C Learning Dynamic Patient-Robot Task Assignment and Scheduling for A Robotic Rehabilitation Gym 2022 International Conference on Rehabilitation Robotics (ICORR), (1-6)
- Rouquette L, Gérault D, Minier M and Solnon C And Rijndael? Progress in Cryptology - AFRICACRYPT 2022, (150-175)
- Abreu L and Nagano M (2022). A new hybridization of adaptive large neighborhood search with constraint programming for open shop scheduling with sequence-dependent setup times, Computers and Industrial Engineering, 168:C, Online publication date: 1-Jun-2022.
- Sitek P, Wikarek J, Bocewicz G and Nielsen I (2022). A decision support model for handling customer orders in business chain, Neurocomputing, 482:C, (298-309), Online publication date: 14-Apr-2022.
- Popescu A, Polat-Erdeniz S, Felfernig A, Uta M, Atas M, Le V, Pilsl K, Enzelsberger M and Tran T (2022). An overview of machine learning techniques in constraint solving, Journal of Intelligent Information Systems, 58:1, (91-118), Online publication date: 1-Feb-2022.
- Zhang T, Fu C and Ning X (2022). Application of Improved VMD-LSTM Model in Sports Artificial Intelligence, Computational Intelligence and Neuroscience, 2022, Online publication date: 1-Jan-2022.
- Wikarek J and Sitek P Configuration Model of Employee Competences in a Social Media Team Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices, (355-368)
- Winter F and Musliu N (2021). Constraint-based Scheduling for Paint Shops in the Automotive Supply Industry, ACM Transactions on Intelligent Systems and Technology, 12:2, (1-25), Online publication date: 30-Apr-2021.
- Wikarek J and Sitek P A Robust Approach to Employee Competences in Project Management Intelligent Information and Database Systems, (246-258)
- Jonsson P, Lagerkvist V and Roy B (2021). Fine-Grained Time Complexity of Constraint Satisfaction Problems, ACM Transactions on Computation Theory, 13:1, (1-32), Online publication date: 31-Mar-2021.
- Melis A, Layeghy S, Berardi D, Portmann M, Prandini M and Callegati F (2021). P-SCOR: Integration of Constraint Programming Orchestration and Programmable Data Plane, IEEE Transactions on Network and Service Management, 18:1, (402-414), Online publication date: 1-Mar-2021.
- Cooper M Strengthening Neighbourhood Substitution Principles and Practice of Constraint Programming, (126-142)
- Zhu X, Nacenta M, Akgün Ö and Nightingale P (2020). How People Visually Represent Discrete Constraint Problems, IEEE Transactions on Visualization and Computer Graphics, 26:8, (2603-2619), Online publication date: 1-Aug-2020.
- Spieker H and Gotlieb A Learning Objective Boundaries for Constraint Optimization Problems Machine Learning, Optimization, and Data Science, (394-408)
- Bruni R, Montanari U and Sammartino M Algebras for Tree Decomposable Graphs Graph Transformation, (203-220)
- Jin Y and Hao J (2019). Solving the Latin Square Completion Problem by Memetic Graph Coloring, IEEE Transactions on Evolutionary Computation, 23:6, (1015-1028), Online publication date: 1-Dec-2019.
- Mekala M and Viswanathan P (2022). Equilibrium Transmission Bi-level Energy Efficient Node Selection Approach for Internet of Things, Wireless Personal Communications: An International Journal, 108:3, (1635-1663), Online publication date: 1-Oct-2019.
- Latour A, Babaki B and Nijssen S Stochastic constraint propagation for mining probabilistic networks Proceedings of the 28th International Joint Conference on Artificial Intelligence, (1137-1145)
- Curry T, Callahan D, Fuller B and Michel L DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks Information Security and Privacy, (456-474)
- de Castro-Cabrera M, García-Domínguez A and Medina-Bulo I Using constraint solvers to support metamorphic testing Proceedings of the 4th International Workshop on Metamorphic Testing, (32-39)
- Bennaceur A, Zisman A, McCormick C, Barthaud D and Nuseibeh B Won't take no for an answer Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (77-88)
- Li X, Zhao Y, Shi X and Shi T A hybridization of Memetic Algorithm with SVND for Solving a Hybrid Vehicle Routing Problem Proceedings of the 2019 4th International Conference on Mathematics and Artificial Intelligence, (162-166)
- Habet D and Terrioux C Conflict history based search for constraint satisfaction problem Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1117-1122)
- Tang Y, Sun Q, Liu R and Wang F (2018). Resource Leveling Based on Line of Balance and Constraint Programming, Computer-Aided Civil and Infrastructure Engineering, 33:10, (864-884), Online publication date: 4-Sep-2018.
- Liu M, Ma F and Yan J A Community-Division Based Algorithm for Finding Relations Among Linear Constraints Knowledge Science, Engineering and Management, (12-23)
- Kimura K and Makino K Linear satisfiability preserving assignments (extended abstract) Proceedings of the 27th International Joint Conference on Artificial Intelligence, (5622-5626)
- Verhaeghe H, Lecoutre C and Schaus P Compact-MDD Proceedings of the 27th International Joint Conference on Artificial Intelligence, (1383-1389)
- Baier T, Ciccio C, Mendling J and Weske M (2018). Matching events and activities by integrating behavioral aspects and label analysis, Software and Systems Modeling (SoSyM), 17:2, (573-598), Online publication date: 1-May-2018.
- Correas J, Martn S and Senz-Prez F (2018). Enhancing set constraint solvers with bound consistency, Expert Systems with Applications: An International Journal, 92:C, (485-494), Online publication date: 1-Feb-2018.
- Schlesinger M, Flach B and Vodolazskiy E (2018). Finding a Given Number of Solutions to a System of Fuzzy Constraints*, Cybernetics and Systems Analysis, 54:1, (60-74), Online publication date: 1-Feb-2018.
- Pilipczuk M and Wrochna M (2018). On Space Efficiency of Algorithms Working on Structural Decompositions of Graphs, ACM Transactions on Computation Theory, 9:4, (1-36), Online publication date: 31-Dec-2018.
- Nguyen V SAT Encodings of Finite-CSP Domains Proceedings of the 8th International Symposium on Information and Communication Technology, (84-91)
- Heule M, Kullmann O and Marek V Solving very hard problems Proceedings of the 26th International Joint Conference on Artificial Intelligence, (4864-4868)
- Palmieri A and Lallouet A Constraint games revisited Proceedings of the 26th International Joint Conference on Artificial Intelligence, (729-735)
- Lierler Y (2017). What is answer set programming to propositional satisfiability, Constraints, 22:3, (307-337), Online publication date: 1-Jul-2017.
- Jonge D and Sierra C (2017). D-Brane, Applied Intelligence, 47:1, (158-177), Online publication date: 1-Jul-2017.
- Thomé J, Shar L, Bianculli D and Briand L Search-driven string constraint solving for vulnerability detection Proceedings of the 39th International Conference on Software Engineering, (198-208)
- AbdelBaky M, Diaz-Montes J, Unuvar M, Romanus M, Rodero I, Steinder M and Parashar M Enabling Distributed Software-Defined Environments Using Dynamic Infrastructure Service Composition Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, (274-283)
- Khamis M, Ngo H and Rudra A (2017). Juggling Functions Inside a Database, ACM SIGMOD Record, 46:1, (6-13), Online publication date: 12-May-2017.
- Gotlieb A and Marijan D (2017). Using Global Constraints to Automate Regression Testing, AI Magazine, 38:1, (73-87), Online publication date: 1-Mar-2017.
- Falkner A, Friedrich G, Haselböck A, Schenner G and Schreiner H (2016). Twenty‐Five Years of Successful Application of Constraint Technologies at Siemens, AI Magazine, 37:4, (67-80), Online publication date: 1-Dec-2016.
- Rauf U, Gillani F, Al-Shaer E, Halappanavar M, Chatterjee S and Oehmen C Formal Approach for Resilient Reachability based on End-System Route Agility Proceedings of the 2016 ACM Workshop on Moving Target Defense, (117-127)
- Kemmar A, Lebbah Y and Loudni S (2016). A Constraint Programming Approach for Web Log Mining, International Journal of Information Technology and Web Engineering, 11:4, (24-42), Online publication date: 1-Oct-2016.
- Chatti N, Guyonneau R, Hardouin L, Verron S and Lagrange S (2016). Model-based approach for fault diagnosis using set-membership formulation, Engineering Applications of Artificial Intelligence, 55:C, (307-319), Online publication date: 1-Oct-2016.
- Narodytska N, Petit T, Siala M and Walsh T (2016). Three generalizations of the FOCUS constraint, Constraints, 21:4, (495-532), Online publication date: 1-Oct-2016.
- Nešić D and Nyberg M Multi-view modeling and automated analysis of product line variability in systems engineering Proceedings of the 20th International Systems and Software Product Line Conference, (287-296)
- Sitek P and Wikarek J (2016). A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems, Scientific Programming, 2016, (7), Online publication date: 1-Aug-2016.
- Domagała Ł, van Amstel D and Rastello F (2016). Generalized cache tiling for dataflow programs, ACM SIGPLAN Notices, 51:5, (52-61), Online publication date: 1-Aug-2016.
- Castaño F, Bourreau E, Rossi A, Sevaux M and Velasco N (2016). Partial target coverage to extend the lifetime in wireless multi-role sensor networks, Networks, 68:1, (34-53), Online publication date: 1-Aug-2016.
- Brotankova J, Urli T and Kilby P Planning Habitat Restoration with Genetic Algorithms Proceedings of the Genetic and Evolutionary Computation Conference 2016, (861-868)
- Mossige M, Gotlieb A and Meling H Generating tests for robotized painting using constraint programming Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, (4200-4204)
- Francès G and Geffner H Effective planning with more expressive languages Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, (4155-4159)
- Lee J and Zhu Z Static symmetry breaking with the reflex ordering Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, (758-765)
- Abo Khamis M, Ngo H and Rudra A FAQ Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (13-28)
- Domagała Ł, van Amstel D and Rastello F Generalized cache tiling for dataflow programs Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, (52-61)
- Domagała Ł, van Amstel D, Rastello F and Sadayappan P Register allocation and promotion through combined instruction scheduling and loop unrolling Proceedings of the 25th International Conference on Compiler Construction, (143-151)
- Äijö T, Jääskeläinen P, Elomaa T, Kultala H and Takala J (2015). Integer Linear Programming-Based Scheduling for Transport Triggered Architectures, ACM Transactions on Architecture and Code Optimization, 12:4, (1-22), Online publication date: 7-Jan-2016.
- AbdelBaky M, Diaz-Montes J, Parashar M, Unuvar M and Steinder M Docker containers across multiple clouds and data centers Proceedings of the 8th International Conference on Utility and Cloud Computing, (368-371)
- Van Hoai N, Cong L and Dung P Solving the TimeTabling problem at FPT University Proceedings of the Sixth International Symposium on Information and Communication Technology, (98-104)
- Dung P, Trung H, Hoang T and Hoang N A Java library for Constraint-Based Local Search Proceedings of the Sixth International Symposium on Information and Communication Technology, (67-74)
- Nguyen V and Mai S A New Method to Encode the At-Most-One Constraint into SAT Proceedings of the 6th International Symposium on Information and Communication Technology, (46-53)
- Mami I, Bellahsene Z and Coletta R A Constraint Optimization Method for Large-Scale Distributed View Selection Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV - Volume 9620, (71-108)
- Kucharzak M, Walkowiak K, Kopec P, Bulira D and Kasprzak A (2015). Integer programming, Constraint programming, and metaheuristic approaches for static optimization of anycast flows in elastic optical networks, Networks, 66:4, (253-266), Online publication date: 1-Dec-2015.
- Rossi R, Hnich B, Tarim S and Prestwich S (2015). Confidence-based reasoning in stochastic constraint programming, Artificial Intelligence, 228:C, (129-152), Online publication date: 1-Nov-2015.
- Ketata A, Moreno C, Fischmeister S, Liang J and Czarnecki K Performance prediction upon toolchain migration in model-based software Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (302-311)
- Hartert R, Vissicchio S, Schaus P, Bonaventure O, Filsfils C, Telkamp T and Francois P (2015). A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade Networks, ACM SIGCOMM Computer Communication Review, 45:4, (15-28), Online publication date: 22-Sep-2015.
- Hartert R, Vissicchio S, Schaus P, Bonaventure O, Filsfils C, Telkamp T and Francois P A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade Networks Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, (15-28)
- Cohen D, Cooper M, Jeavons P and Živny S Tractable classes of binary CSPs defined by excluded topological minors Proceedings of the 24th International Conference on Artificial Intelligence, (1945-1951)
- Lee J and Zhu Z Filtering Nogoods lazily in dynamic symmetry breaking during search Proceedings of the 24th International Conference on Artificial Intelligence, (339-345)
- Koriche F, Lagniez J, Marquis P and Thomas S Compiling constraint networks into multivalued decomposable decision graphs Proceedings of the 24th International Conference on Artificial Intelligence, (332-338)
- Amadini R, Gabbrielli M and Mauro J A multicore tool for constraint solving Proceedings of the 24th International Conference on Artificial Intelligence, (232-238)
- Hotz L, Wang Y, Riebisch M, Götz O and Lackhove J Evaluation across multiple views for variable automation systems Proceedings of the 19th International Conference on Software Product Line, (311-315)
- Werner T (2015). Marginal Consistency: Upper-Bounding Partition Functions over Commutative Semirings, IEEE Transactions on Pattern Analysis and Machine Intelligence, 37:7, (1455-1468), Online publication date: 1-Jul-2015.
- Ishii D, Yoshizoe K and Suzumura T Scalable parallel numerical constraint solver using global load balancing Proceedings of the ACM SIGPLAN Workshop on X10, (33-38)
- Kalinin A, Cetintemel U and Zdonik S (2015). Searchlight, Proceedings of the VLDB Endowment, 8:10, (1094-1105), Online publication date: 1-Jun-2015.
- Amadini R, Gabbrielli M and Mauro J SUNNY-CP Proceedings of the 30th Annual ACM Symposium on Applied Computing, (1861-1867)
- Cooper M and Escamocher G (2015). Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns, Discrete Applied Mathematics, 184:C, (89-113), Online publication date: 31-Mar-2015.
- Segarra J, Rodríguez C, Gran R, Aparicio L and Viñals V (2015). ACDC, ACM Transactions on Embedded Computing Systems, 14:2, (1-26), Online publication date: 25-Mar-2015.
- Paone E, Robino F, Palermo G, Zaccaria V, Sander I and Silvano C Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, (736-741)
- Bennaceur A and Issarny V (2015). Automated Synthesis of Mediators to Support Component Interoperability, IEEE Transactions on Software Engineering, 41:3, (221-240), Online publication date: 1-Mar-2015.
- Soto R, Crawford B, Galleguillos C, Paredes F and Norero E (2015). A hybrid alldifferent-tabu search algorithm for solving sudoku puzzles, Computational Intelligence and Neuroscience, 2015, (40-40), Online publication date: 1-Jan-2015.
- Barto L (2014). Constraint satisfaction problem and universal algebra, ACM SIGLOG News, 1:2, (14-24), Online publication date: 14-Oct-2014.
- Beji S, Hamadou S, Gherbi A and Mullins J SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures Proceedings of the 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications, (165-174)
- Cardoso B and Romão T Presenting EveWorks, a framework for daily life event detection Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, (289-294)
- Castañeda Lozano R, Carlsson M, Hjort Blindell G and Schulte C Combinatorial spill code optimization and ultimate coalescing Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, (23-32)
- Pini M, Rossi F and Venable K Stable matching problems with soft constraints Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems, (1511-1512)
- Castañeda Lozano R, Carlsson M, Hjort Blindell G and Schulte C (2014). Combinatorial spill code optimization and ultimate coalescing, ACM SIGPLAN Notices, 49:5, (23-32), Online publication date: 5-May-2014.
- Behjati R, Nejati S and Briand L (2014). Architecture-Level Configuration of Large-Scale Embedded Software Systems, ACM Transactions on Software Engineering and Methodology, 23:3, (1-43), Online publication date: 1-May-2014.
- Balck K, Grinchtein O and Pearson J Model-based protocol log generation for testing a telecommunication test harness using CLP Proceedings of the conference on Design, Automation & Test in Europe, (1-4)
- Gwynne M and Kullmann O On SAT Representations of XOR Constraints Proceedings of the 8th International Conference on Language and Automata Theory and Applications - Volume 8370, (409-420)
- Dhungana D, Falkner A and Haselböck A (2013). Generation of conjoint domain models for system-of-systems, ACM SIGPLAN Notices, 49:3, (159-168), Online publication date: 5-Mar-2014.
- Urrutia S and Lucena A (2014). Characterizing acyclic graphs by labeling edges, Discrete Applied Mathematics, 164, (492-499), Online publication date: 1-Feb-2014.
- Caserta M and Voíß S (2014). A hybrid algorithm for the DNA sequencing problem, Discrete Applied Mathematics, 163:P1, (87-99), Online publication date: 30-Jan-2014.
- Campeotto F, Palù A, Dovier A, Fioretto F and Pontelli E Exploring the Use of GPUs in Constraint Solving Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages - Volume 8324, (152-167)
- Kritikos K, Plexousakis D and Paternò F (2014). Task model-driven realization of interactive application functionality through services, ACM Transactions on Interactive Intelligent Systems, 3:4, (1-31), Online publication date: 1-Jan-2014.
- Mehta D, O'Sullivan B and Simonis H Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing, (26-33)
- Marx A and König M Modeling and simulating spatial requirements of construction activities Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (3294-3305)
- Borrego D, Gómez-López M and Gasca R (2013). Minimizing test-point allocation to improve diagnosability in business process models, Journal of Systems and Software, 86:11, (2725-2741), Online publication date: 1-Nov-2013.
- Dhungana D, Falkner A and Haselböck A Generation of conjoint domain models for system-of-systems Proceedings of the 12th international conference on Generative programming: concepts & experiences, (159-168)
- Kritikos K, Pernici B, Plebani P, Cappiello C, Comuzzi M, Benrernou S, Brandic I, Kertész A, Parkin M and Carro M (2013). A survey on service quality description, ACM Computing Surveys, 46:1, (1-58), Online publication date: 1-Oct-2013.
- Nempont O, Atif J and Bloch I (2013). A constraint propagation approach to structural model based image segmentation and recognition, Information Sciences: an International Journal, 246, (1-27), Online publication date: 1-Oct-2013.
- Cambazard H, Mehta D, O'Sullivan B and Simonis H Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres Proceedings of the 10th International Conference on Economics of Grids, Clouds, Systems, and Services - Volume 8193, (44-59)
- Borrego D, Eshuis R, Gómez-López M and Gasca R (2013). Diagnosing correctness of semantic workflow models, Data & Knowledge Engineering, 87, (167-184), Online publication date: 1-Sep-2013.
- Jégou P and Terrioux C Structural Consistency Revised Selected Papers of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning - Volume 8323, (74-91)
- Mouelhi A, Jégou P and Terrioux C Different Classes of Graphs to Represent Microstructures for CSPs Revised Selected Papers of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning - Volume 8323, (21-38)
- Beg M and Beek P (2013). A constraint programming approach for integrated spatial and temporal scheduling for clustered architectures, ACM Transactions on Embedded Computing Systems, 13:1, (1-23), Online publication date: 1-Aug-2013.
- O'Mahony C and Wilson N Sorted-Pareto dominance and qualitative notions of optimality Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (449-460)
- Lozano R, Blindell G, Carlsson M, Drejhammar F and Schulte C Constraint-based code generation Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, (93-95)
- Jiménez-Ramírez A, Barba I, del Valle C and Weber B Generating multi-objective optimized business process enactment plans Proceedings of the 25th international conference on Advanced Information Systems Engineering, (99-115)
- Pini M, Rossi F and Venable K Resistance to bribery when aggregating soft constraints Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, (1301-1302)
- Jonsson P and LööW T (2013). Computational complexity of linear constraints over the integers, Artificial Intelligence, 195, (44-62), Online publication date: 1-Feb-2013.
- Aziz R, Stuckey P and Somogyi Z Inductive definitions in constraint programming Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135, (41-50)
- Machado R, Abreu S and Diaz D Parallel Performance of Declarative Programming Using a PGAS Model Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages - Volume 7752, (244-260)
- Pelleau M, Miné A, Truchet C and Benhamou F A Constraint Solver Based on Abstract Domains Proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 7737, (434-454)
- Lanti D and Manthey N Sharing Information in Parallel Search with Search Space Partitioning Revised Selected Papers of the 7th International Conference on Learning and Intelligent Optimization - Volume 7997, (52-58)
- Distler A, Jefferson C, Kelsey T and Kotthoff L The Semigroups of Order 10 Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming - Volume 7514, (883-899)
- O'Sullivan B Where Are the Interesting Problems? Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming - Volume 7514, (4-5)
- Redelinghuys G, Visser W and Geldenhuys J Symbolic execution of programs with strings Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (139-148)
- Przepiora M, Karimpour R and Ruhe G A hybrid release planning method and its empirical justification Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement, (115-118)
- Arbab F, Santini F, Bistarelli S and Pirolandi D Towards a similarity-based web service discovery through soft constraint satisfaction problems Proceedings of the 2nd International Workshop on Semantic Search over the Web, (1-8)
- Gebser M, Kaufmann B and Schaub T (2012). Conflict-driven answer set solving, Artificial Intelligence, 187-188, (52-89), Online publication date: 1-Aug-2012.
- de Oliveira F and Ledoux T (2012). Self-management of cloud applications and infrastructure for energy optimization, ACM SIGOPS Operating Systems Review, 46:2, (10-18), Online publication date: 16-Jul-2012.
- Soto R, Crawford B, Monfroy E and Bustos V Using autonomous search for generating good enumeration strategy blends in constraint programming Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III, (607-617)
- Tanjo T, Tamura N and Banbara M Azucar Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing, (456-462)
- Martin K, Wolinski C, Kuchcinski K, Floch A and Charot F (2012). Constraint Programming Approach to Reconfigurable Processor Extension Generation and Application Compilation, ACM Transactions on Reconfigurable Technology and Systems, 5:2, (1-38), Online publication date: 1-Jun-2012.
- Pothitos N, Kastrinis G and Stamatopoulos P Constraint propagation as the core of local search Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications, (9-16)
- Rendl A, Prandtstetter M, Hiermann G, Puchinger J and Raidl G Hybrid heuristics for multimodal homecare scheduling Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (339-355)
- Pralet C and Verfaillie G Combining static and dynamic models for boosting forward planning Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (322-338)
- Dupont C, Schulze T, Giuliani G, Somov A and Hermenier F An energy aware framework for virtual machine placement in cloud federated data centres Proceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet, (1-10)
- Boigelot B, Brusten J and Degbomont J Automata-Based symbolic representations of polyhedra Proceedings of the 6th international conference on Language and Automata Theory and Applications, (3-20)
- Zambon E, Etalle S and Wieringa R (2012). A2thOS: availability analysis and optimisation in SLAs, International Journal of Network Management, 22:2, (104-130), Online publication date: 1-Mar-2012.
- Nica I and Wotawa F The simol modeling language for simulation and (re-)configuration Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science, (661-672)
- de Oliveira F and Ledoux T Self-management of applications QoS for energy optimization in datacenters Green Computing Middleware on Proceedings of the 2nd International Workshop, (1-6)
- Adir A, Levy R and Salman T Dynamic test data generation for data intensive applications Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing, (219-233)
- Anders T and Miranda E (2011). Constraint programming systems for modeling music theories and composition, ACM Computing Surveys, 43:4, (1-38), Online publication date: 1-Oct-2011.
- Rolf C and Kuchcinski K Distributed constraint programming with agents Proceedings of the Second international conference on Adaptive and intelligent systems, (320-331)
- Berbeglia G, Pesant G and Rousseau L (2011). Checking the Feasibility of Dial-a-Ride Instances Using Constraint Programming, Transportation Science, 45:3, (399-412), Online publication date: 1-Aug-2011.
- Walsh T Exploiting constraints Proceedings of the 21st international conference on Inductive Logic Programming, (7-13)
- Distler A, Shah M and Sorge V Enumeration of AG-groupoids Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics, (1-14)
- Niveau A, Fargier H and Pralet C Representing CSPs with set-labeled diagrams Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning, (137-171)
- Bistarelli S and Santini F Modeling and solving AFs with a constraint-based tool Proceedings of the First international conference on Theory and Applications of Formal Argumentation, (99-116)
- De Raedt L and Nijssen S Towards programming languages for machine learning and data mining Proceedings of the 19th international conference on Foundations of intelligent systems, (25-32)
- Crawford B, Soto R, Montecinos M, Castro C and Monfroy E A framework for autonomous search in the Eclipsesolver Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part I, (79-84)
- Prosser P and Unsworth C (2011). Limited discrepancy search revisited, ACM Journal of Experimental Algorithmics, 16, (1.1-1.18), Online publication date: 1-May-2011.
- Moffitt M (2011). On the modelling and optimization of preferences in constraint-based temporal reasoning, Artificial Intelligence, 175:7-8, (1390-1409), Online publication date: 1-May-2011.
- Bistarelli S, Campli P and Santini F Finding partitions of arguments with Dung's properties via SCSPs Proceedings of the 2011 ACM Symposium on Applied Computing, (913-919)
- Steiger R, van Hoeve W and Szymanek R An efficient generic network flow constraint Proceedings of the 2011 ACM Symposium on Applied Computing, (893-900)
- Magatão L, Arruda L and Neves-Jr F (2011). A combined CLP-MILP approach for scheduling commodities in a pipeline, Journal of Scheduling, 14:1, (57-87), Online publication date: 1-Feb-2011.
- Bistarelli S, Gadducci F, Larrosa J, Rollon E and Santini F Extending soft arc consistency algorithms to non-invertible semirings Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I, (386-398)
- Jefferson C, Moore N, Nightingale P and Petrie K (2010). Implementing logical connectives in constraint programming, Artificial Intelligence, 174:16-17, (1407-1429), Online publication date: 1-Nov-2010.
- Nijssen S and Guns T Integrating constraint programming and itemset mining Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part II, (467-482)
- Nijssen S and Guns T Integrating constraint programming and itemset mining Proceedings of the 2010th European Conference on Machine Learning and Knowledge Discovery in Databases - Volume Part II, (467-482)
- Mohamed K, Leclère M and Mugnier M Deduction in existential conjunctive first-order logic Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications, (1-10)
- Salgueiro P and Abreu S A DSL for intrusion detection based on constraint programming Proceedings of the 3rd international conference on Security of information and networks, (224-232)
- Tsang E Constraint-directed search in computational finance and economics Proceedings of the 16th international conference on Principles and practice of constraint programming, (3-7)
- Bistarelli S and Santini F A Common Computational Framework for Semiring-based Argumentation Systems Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, (131-136)
- Herrero R, Guimarans D, Ramos J and Padrón S A variable neighbourhood search combining constraint programming and Lagrangean relaxation for solving routing problems Proceedings of the 2010 Summer Computer Simulation Conference, (379-386)
- Curran D, Freuder E and Jansen T Incremental evolution of local search heuristics Proceedings of the 12th annual conference on Genetic and evolutionary computation, (981-982)
- Dyer M, Goldberg L and Jerrum M (2010). An approximation trichotomy for Boolean #CSP, Journal of Computer and System Sciences, 76:3-4, (267-277), Online publication date: 1-May-2010.
- Gavanelli M and Rossi F Constraint logic programming A 25-year perspective on logic programming, (64-86)
- Wolinski C, Kuchcinski K and Raffin E (2009). Automatic design of application-specific reconfigurable processor extensions with UPaK synthesis kernel, ACM Transactions on Design Automation of Electronic Systems, 15:1, (1-36), Online publication date: 1-Dec-2009.
- Lucas S (2009). Automatic Proofs of Termination With Elementary Interpretations, Electronic Notes in Theoretical Computer Science (ENTCS), 258:1, (41-61), Online publication date: 1-Dec-2009.
- Nightingale P (2009). Non-binary quantified CSP, Constraints, 14:4, (539-581), Online publication date: 1-Dec-2009.
- Salgueiro P and Abreu S Network monitoring with constraint programming Proceedings of the 18th international conference on Applications of declarative programming and knowledge management, (223-238)
- TaşKıN Z, Smith J, Ahmed S and Schaefer A (2009). Cutting plane algorithms for solving a stochastic edge-partition problem, Discrete Optimization, 6:4, (420-435), Online publication date: 1-Nov-2009.
- Djelloul K (2009). From decomposable to residual theories, Applied Mathematics and Computation, 215:5, (1761-1779), Online publication date: 1-Nov-2009.
- Cambazard H, O'Sullivan B and Smith B (2009). A constraint-based approach to Enigma 1225, Computers & Mathematics with Applications, 58:8, (1487-1497), Online publication date: 1-Oct-2009.
- Silaghi M and Yokoo M (2009). ADOPT-ing, Autonomous Agents and Multi-Agent Systems, 19:2, (89-123), Online publication date: 1-Oct-2009.
- Chenouard R and Jouault F Automatically Discovering Hidden Transformation Chaining Constraints Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (92-106)
- Živný S and Jeavons P The complexity of valued constraint models Proceedings of the 15th international conference on Principles and practice of constraint programming, (833-841)
- Pralet C and Verfaillie G Slice encoding for constraint-based planning Proceedings of the 15th international conference on Principles and practice of constraint programming, (669-683)
- Mehta D, O'Sullivan B, Quesada L and Wilson N Search space extraction Proceedings of the 15th international conference on Principles and practice of constraint programming, (608-622)
- Maher M SOGgy constraints Proceedings of the 15th international conference on Principles and practice of constraint programming, (584-591)
- Lagerkvist M and Schulte C Propagator groups Proceedings of the 15th international conference on Principles and practice of constraint programming, (524-538)
- Lee D, Arana I, Ahriz H and Hui K Multi-Hyb Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02, (379-382)
- Bulatov A, Dyer M, Goldberg L, Jalsenius M and Richerby D (2009). The complexity of weighted Boolean #CSP with mixed signs, Theoretical Computer Science, 410:38-40, (3949-3961), Online publication date: 1-Sep-2009.
- Jonsson P, Krokhin A and Kuivinen F (2009). Hard constraint satisfaction problems have hard gaps at location 1, Theoretical Computer Science, 410:38-40, (3856-3874), Online publication date: 1-Sep-2009.
- ivný S, Cohen D and Jeavons P (2009). The expressive power of binary submodular functions, Discrete Applied Mathematics, 157:15, (3347-3358), Online publication date: 1-Aug-2009.
- Maher M Open contractible global constraints Proceedings of the 21st International Joint Conference on Artificial Intelligence, (578-583)
- Lesaint D, Mehta D, O'Sullivan B, Quesada L and Wilson N A soft global precedence constraint Proceedings of the 21st International Joint Conference on Artificial Intelligence, (566-571)
- Lee D, Arana I, Ahriz H and Hui K A hybrid approach to solving coarse-grained DisCSPs Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, (1235-1236)
- Zanuttini B and Živný S (2009). A note on some collapse results of valued constraints, Information Processing Letters, 109:11, (534-538), Online publication date: 1-May-2009.
- Hermenier F, Lorca X, Menaud J, Muller G and Lawall J Entropy Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, (41-50)
- Frisch A, Hnich B, Kiziltan Z, Miguel I and Walsh T (2009). Filtering algorithms for the multiset ordering constraint, Artificial Intelligence, 173:2, (299-328), Online publication date: 1-Feb-2009.
- Bouveret S and Lemaître M (2009). Computing leximin-optimal solutions in constraint networks, Artificial Intelligence, 173:2, (343-364), Online publication date: 1-Feb-2009.
- Schultz C, Amor R, Lobb B and Guesgen H (2009). Qualitative design support for engineering and architecture, Advanced Engineering Informatics, 23:1, (68-80), Online publication date: 1-Jan-2009.
- Cohen D, Jeavons P and ivný S (2008). The expressive power of valued constraints, Theoretical Computer Science, 409:1, (137-153), Online publication date: 1-Dec-2008.
- Hell P and Nešetřil J (2008). Survey, Computer Science Review, 2:3, (143-163), Online publication date: 1-Dec-2008.
- Berzins V, Luqi and Musial P Formal reasoning about software object translations Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development, (43-58)
- De Raedt L, Guns T and Nijssen S Constraint programming for itemset mining Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining, (204-212)
- Distler A and Kelsey T The Monoids of Order Eight and Nine Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics, (61-76)
- Lesaint D, Mehta D, O'Sullivan B, Quesada L and Wilson N Personalisation of telecommunications services as combinatorial optimisation Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3, (1693-1698)
- Nempont O, Atif J, Angelini E and Bloch I Structure segmentation and recognition in images guided by structural constraint propagation Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, (621-625)
- Soto R and Granvilliers L Tuning Constrained Objects Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence, (408-414)
- Russell T and Van Beek P Mathematically clinching a playoff spot in the NHL and the effect of scoring systems Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence, (234-245)
- Moore N and Prosser P (2008). The ultrametric constraint and its application to phylogenetics, Journal of Artificial Intelligence Research, 32:1, (901-938), Online publication date: 1-May-2008.
- Green M and Cohen D (2008). Domain permutation reduction for constraint satisfaction problems, Artificial Intelligence, 172:8-9, (1094-1118), Online publication date: 1-May-2008.
- Samer M and Szeider S Tractable cases of the extended global cardinality constraint Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77, (67-74)
- Cohen D, Jeavons P and Živný S The expressive power of valued constraints Proceedings of the 13th international conference on Principles and practice of constraint programming, (798-805)
- Jonsson P, Krokhin A and Kuivinen F Ruling out polynomial-time approximation schemes for hard constraint satisfaction problems Proceedings of the Second international conference on Computer Science: theory and applications, (182-193)
- Tomás A, Leal J and Domingues M A web application for mathematics education Proceedings of the 6th international conference on Advances in web based learning, (380-391)
- Pettersson M and Kuchcinski K A new necessary condition for shortest path routing Proceedings of the 1st EuroFGI international conference on Network control and optimization, (195-204)
- Zheng J, Kobayashi Y, Takahashi Y, Yanagida T, Sato T and Hitaka D MLCP: A Framework Integrating with Machine Learning and Optimization for Planning and Scheduling in Manufacturing and Services 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), (123-128)
- Tsvetkov T, Ali-Tolppa J, Sanneck H and Carle G A minimum spanning tree-based approach for reducing verification collisions in self-organizing networks NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium, (137-145)
