On the public citation graph
Principles of Constraint Programming
0 signed · 798 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/jvlc.1994.1007openalex-snapshot
Deriving the Composition of Binary Topological Relations
inferredcites →https://doi.org/10.1007/3-540-45349-0_6openalex-snapshot
Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type
inferredcites →https://doi.org/10.1007/3-540-46135-3_31openalex-snapshot
Breaking Row and Column Symmetries in Matrix Models
inferredcites →https://doi.org/10.1007/3-540-49481-2_19openalex-snapshot
A Unified Framework for Interval Constraints and Interval Arithmetic
inferredcites →https://doi.org/10.1007/3-540-49481-2_23openalex-snapshot
Salsa: A Language for Search Algorithms
inferredcites →https://doi.org/10.1007/3-540-54414-3_36openalex-snapshot
Reasoning about binary topological relations
inferredcites →https://doi.org/10.1007/3-540-55602-8_225openalex-snapshot
Computing transitivity tables: A challenge for automated theorem provers
inferredcites →https://doi.org/10.1007/3-540-58601-6_86openalex-snapshot
Contradicting conventional wisdom in constraint satisfaction
inferredcites →https://doi.org/10.1007/3-540-61479-6_19openalex-snapshot
Semiring-based CSPs and valued CSPs: Basic properties and comparison
inferredcites →https://doi.org/10.1007/3-540-61732-9_65openalex-snapshot
Data types in subdefinite models
inferredcites →https://doi.org/10.1007/3-540-61735-3_4openalex-snapshot
Heterogeneous constraint solving
inferredcites →https://doi.org/10.1007/978-1-4613-8788-6_11openalex-snapshot
Network-Based Heuristics for Constraint-Satisfaction Problems
inferredcites →https://doi.org/10.1007/978-3-540-24662-6_1openalex-snapshot
A Comparative Study of Arithmetic Constraints on Integer Intervals
inferredcites →https://doi.org/10.1007/978-3-662-02830-8openalex-snapshot
Genetic Algorithms + Data Structures = Evolution Programs
inferredcites →https://doi.org/10.1007/bf00247670openalex-snapshot
A simple and efficient boolean solver for Constraint Logic Programming
inferredcites →https://doi.org/10.1007/bfb0017464openalex-snapshot
Programming constraint inference engines
inferredcites →https://doi.org/10.1016/0004-3702(77)90007-8openalex-snapshot
Consistency in networks of relations
inferredcites →https://doi.org/10.1016/0004-3702(80)90051-xopenalex-snapshot
Increasing tree search efficiency for constraint satisfaction problems
inferredcites →https://doi.org/10.1016/0004-3702(87)90091-9openalex-snapshot
Constraint propagation with interval labels
inferredcites →https://doi.org/10.1016/0004-3702(89)90080-5openalex-snapshot
An optimal k-consistency algorithm
inferredcites →https://doi.org/10.1016/0004-3702(91)90059-sopenalex-snapshot
Constraint relaxation may be perfect
inferredcites →https://doi.org/10.1016/0004-3702(92)90004-hopenalex-snapshot
Partial constraint satisfaction
inferredcites →https://doi.org/10.1016/0004-3702(92)90011-lopenalex-snapshot
Reasoning about qualitative temporal information
inferredcites →https://doi.org/10.1016/0020-0190(86)90128-6openalex-snapshot
A note on the queen's problem
inferredcites →https://doi.org/10.1016/0020-0255(74)90008-5openalex-snapshot
Networks of constraints: Fundamental properties and applications to picture processing
inferredcites →https://doi.org/10.1016/0020-0255(79)90023-9openalex-snapshot
Relational consistency algorithms and their application in finding subgraph and graph isomorphisms
inferredcites →https://doi.org/10.1016/0743-1066(94)90033-7openalex-snapshot
Constraint logic programming: a survey
inferredcites →https://doi.org/10.1016/0895-7177(93)90068-aopenalex-snapshot
Extending chip in order to solve complex scheduling and placement problems
inferredcites →https://doi.org/10.1016/c2013-0-07627-xopenalex-snapshot
Foundations of Constraint Satisfaction
inferredcites →https://doi.org/10.1016/s0004-3702(02)00120-0openalex-snapshot
Backjump-based backtracking for constraint satisfaction problems
inferredcites →https://doi.org/10.1016/s0004-3702(02)00263-1openalex-snapshot
On forward checking for non-binary constraint satisfaction
inferredcites →https://doi.org/10.1016/s0743-1066(96)00142-2openalex-snapshot
Applying interval arithmetic to real, integer, and boolean constraints
inferredcites →https://doi.org/10.1016/s0743-1066(98)10006-7openalex-snapshot
Design, implementation, and evaluation of the constraint language cc(FD)
inferredcites →https://doi.org/10.1016/s0743-1066(98)10008-0openalex-snapshot
Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
inferredcites →https://doi.org/10.1023/a:1009704614502openalex-snapshot
Ultraviolet: A Constraint Satisfaction Algorithm for Interactive Graphics
inferredcites →https://doi.org/10.1023/a:1009870418160openalex-snapshot
Optimal Narrowing of a Block of Sortings in Optimal Time
inferredcites →https://doi.org/10.1023/a:1014450507312openalex-snapshot
Finding the Right Hybrid Algorithm – A Combinatorial Meta-Problem
inferredcites →https://doi.org/10.1023/a:1021902812784openalex-snapshot
Current Approaches for Solving Over-Constrained Problems
inferredcites →https://doi.org/10.1023/a:1022323717928openalex-snapshot
Improving Linear Constraint Propagation by Changing Constraint Representation
inferredcites →https://doi.org/10.1023/b:amai.0000012870.93810.37openalex-snapshot
Solving Hierarchical Constraints over Finite Domains with Local Search
inferredcites →https://doi.org/10.1109/18.651068openalex-snapshot
A new algorithm for Golomb ruler derivation and proof of the 19 mark ruler
inferredcites →https://doi.org/10.1109/fuzzy.1993.327356openalex-snapshot
The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction
inferredcites →https://doi.org/10.1109/fuzzy.1994.343640openalex-snapshot
Fuzzy constraint satisfaction
inferredcites →https://doi.org/10.1109/proc.1980.11899openalex-snapshot
Frequency assignment: Theory and applications
inferredcites →https://doi.org/10.1137/0201010openalex-snapshot
Depth-First Search and Linear Graph Algorithms
inferredcites →https://doi.org/10.1145/129393.129398openalex-snapshot
The CLP( ℛ ) language and system
inferredcites →https://doi.org/10.1145/182.358434openalex-snapshot
Maintaining knowledge about temporal intervals
inferredcites →https://doi.org/10.1145/242223.242279openalex-snapshot
Strategic directions in constraint programming
inferredcites →https://doi.org/10.1145/256303.256306openalex-snapshot
Semiring-based constraint satisfaction and optimization
inferredcites →https://doi.org/10.1145/298151.298170openalex-snapshot
Chaotic iteration for distributed constraint propagation
inferredcites →https://doi.org/10.1145/321033.321034openalex-snapshot
A Computing Procedure for Quantification Theory
inferredcites →https://doi.org/10.1145/321250.321253openalex-snapshot
A Machine-Oriented Logic Based on the Resolution Principle
inferredcites →https://doi.org/10.1145/357162.357169openalex-snapshot
An Efficient Unification Algorithm
inferredcites →https://doi.org/10.1145/359642.359654openalex-snapshot
Synthesizing constraint expressions
inferredcites →https://doi.org/10.1145/361219.361224openalex-snapshot
Backtrack programming techniques
inferredcites →https://doi.org/10.1145/384101.384123openalex-snapshot
Symbolic-interval cooperation in constraint programming
inferredcites →https://doi.org/10.1145/582419.582430openalex-snapshot
A constraint-based architecture for local search
inferredcites →https://doi.org/10.1145/79204.79209openalex-snapshot
Constraint logic programming languages
inferredcites →https://doi.org/10.1145/99583.99627openalex-snapshot
The semantic foundations of concurrent constraint programming
inferredcites →https://doi.org/10.1201/9780203026922openalex-snapshot
Global Optimization Using Interval Analysis
inferredcites →https://doi.org/10.1201/9781420034349.ch12openalex-snapshot
Constraint-satisfaction problems
inferredcites →https://doi.org/10.1287/ijoc.10.3.276openalex-snapshot
Properties of Some Combinatorial Optimization Problems and Their Effect on the Performance of Integer Programming and Constraint Logic Programming
inferredcites →https://doi.org/10.3233/fi-1998-34302openalex-snapshot
Rule-Based Constraint Programming
inferredcites →https://doi.org/10.5555/1219982.1219984openalex-snapshot
Qualitative Spatial Representation and Reasoning: An Overview
inferredcites →https://doi.org/10.5860/choice.30-5638openalex-snapshot
Numerical recipes in C: the art of scientific computing
inferredcites →https://doi.org/10.5860/choice.35-5131openalex-snapshot
The last recreations: hydras, eggs, and other mathematical mystifications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.5281/zenodo.16634505openalex-extracted
ROBUSTNESS IN DYNAMIC CONSTRAINT SATISFACTION PROBLEMS
inferred← citeshttps://doi.org/10.1002/9780470400531.eorms0087openalex-snapshot
Basic CP Theory: Consistency And Propagation (Advanced)
inferred← citeshttps://doi.org/10.1002/9780470400531.eorms0382openalex-snapshot
History of Constraint Programming
inferred← citeshttps://doi.org/10.1002/9780470400531.eorms0473openalex-snapshot
Constraint Programming Links with Math Programming
inferred← citeshttps://doi.org/10.1002/9780470400531.eorms1011openalex-snapshot
Backtrack Search Techniques And Heuristics
inferred← citeshttps://doi.org/10.1002/9780470611876.ch6openalex-snapshot
Constraint Satisfaction Problems
inferred← citeshttps://doi.org/10.1002/net.20367openalex-snapshot
Solving a resource allocation problem in wireless mesh networks: A comparison between a CP‐based and a classical column generation
inferred← citeshttps://doi.org/10.1002/spe.810openalex-snapshot
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
inferred← citeshttps://doi.org/10.1002/spe.930openalex-snapshot
Bid evaluation in combinatorial auctions: optimization and learning
inferred← citeshttps://doi.org/10.1002/stvr.1493openalex-snapshot
Testing of data‐centric and event‐based dynamic service compositions
inferred← citeshttps://doi.org/10.1002/stvr.423openalex-snapshot
OSMOSE: automatic structural testing of executables
inferred← citeshttps://doi.org/10.1007/11493853_14openalex-snapshot
Multiconsistency and Robustness with Global Constraints
inferred← citeshttps://doi.org/10.1007/11564096_61openalex-snapshot
Two Contributions of Constraint Programming to Machine Learning
inferred← citeshttps://doi.org/10.1007/11579427_17openalex-snapshot
An Approach for Dynamic Split Strategies in Constraint Solving
inferred← citeshttps://doi.org/10.1007/11591191_5openalex-snapshot
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
inferred← citeshttps://doi.org/10.1007/11691372_12openalex-snapshot
Exploration of the Capabilities of Constraint Programming for Software Verification
inferred← citeshttps://doi.org/10.1007/11752578_115openalex-snapshot
Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System
inferred← citeshttps://doi.org/10.1007/11785231_44openalex-snapshot
Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation
inferred← citeshttps://doi.org/10.1007/11799573_15openalex-snapshot
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
inferred← citeshttps://doi.org/10.1007/11861461_7openalex-snapshot
A Constructive Hybrid Algorithm for Crew Pairing Optimization
inferred← citeshttps://doi.org/10.1007/11861461_8openalex-snapshot
Using Local Search for Guiding Enumeration in Constraint Solving
inferred← citeshttps://doi.org/10.1007/11889205_21openalex-snapshot
When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages
inferred← citeshttps://doi.org/10.1007/11889205_41openalex-snapshot
Generating Propagators for Finite Set Constraints
inferred← citeshttps://doi.org/10.1007/11889205_44openalex-snapshot
Revisiting the Sequence Constraint
inferred← citeshttps://doi.org/10.1007/11889205_5openalex-snapshot
Infinite Qualitative Simulations by Means of Constraint Programming
inferred← citeshttps://doi.org/10.1007/11890584_9openalex-snapshot
Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search
inferred← citeshttps://doi.org/10.1007/11925231_36openalex-snapshot
A Hybrid Ant Algorithm for the Airline Crew Pairing Problem
inferred← citeshttps://doi.org/10.1007/11941439_9openalex-snapshot
Finite Domain Bounds Consistency Revisited
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_19openalex-snapshot
Constraint Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-68804-8_6openalex-snapshot
A Logical Approach to Constraint Satisfaction
inferred← citeshttps://doi.org/10.1007/978-1-4419-1644-0_11openalex-snapshot
What Is Autonomous Search?
inferred← citeshttps://doi.org/10.1007/978-1-4419-1644-0_6openalex-snapshot
Over-Constrained Problems
inferred← citeshttps://doi.org/10.1007/978-1-4419-1644-0_7openalex-snapshot
A Survey on CP-AI-OR Hybrids for Decision Making Under Uncertainty
inferred← citeshttps://doi.org/10.1007/978-1-4614-0769-0_22openalex-snapshot
Semidefinite Programming and Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-1-4614-5659-9_3openalex-snapshot
Towards Deliberative Control in Marine Robotics
inferred← citeshttps://doi.org/10.1007/978-1-4939-1887-4_25openalex-snapshot
Constraint Programming for Context Comprehension
inferred← citeshttps://doi.org/10.1007/978-1-59745-531-2_25openalex-snapshot
Representing and Analyzing Biochemical Networks Using BioMaze
inferred← citeshttps://doi.org/10.1007/978-1-84800-076-6_4openalex-snapshot
Introducing Context and Reasoning in Visual Content Analysis: An Ontology-Based Framework
inferred← citeshttps://doi.org/10.1007/978-3-030-03840-3_35openalex-snapshot
Energy-Aware Multiple State Machine Scheduling for Multiobjective Optimization
inferred← citeshttps://doi.org/10.1007/978-3-030-14347-3_27openalex-snapshot
Improving the Research Strategy in the Problem of Intervention Planning by the Use of Symmetries
inferred← citeshttps://doi.org/10.1007/978-3-030-19212-9_15openalex-snapshot
Consistency for 0–1 Programming
inferred← citeshttps://doi.org/10.1007/978-3-030-26773-5_23openalex-snapshot
Making Decisions with Knowledge Base Repairs
inferred← citeshttps://doi.org/10.1007/978-3-030-42058-1_1openalex-snapshot
Configuration of Employee Competences in IT Projects
inferred← citeshttps://doi.org/10.1007/978-3-030-42058-1_3openalex-snapshot
Constraint Programming for New Product Development Project Prototyping
inferred← citeshttps://doi.org/10.1007/978-3-030-43897-5_3openalex-snapshot
Method for Supporting Product Development
inferred← citeshttps://doi.org/10.1007/978-3-030-44783-0_26openalex-snapshot
Implementation of a Total Cost of Ownership Model for Last-Mile Logistics as a Constraint Satisfaction Problem
inferred← citeshttps://doi.org/10.1007/978-3-030-53440-0_15openalex-snapshot
A Survey of Optimization Techniques for Routing Protocols in Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-59506-7_20openalex-snapshot
Run-Time Class Generation: Algorithm for Decomposition of Homogeneous Classes
inferred← citeshttps://doi.org/10.1007/978-3-030-68004-6_55openalex-snapshot
Method of Managing Configurations of Engineering Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-70370-7_2openalex-snapshot
Chapter 2 Application of the Multigrammatical Framework to the Assessment of Resilience and Recoverability of Large – Scale Industrial Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-72116-9_11openalex-snapshot
On Modelling Harmony with Constraint Programming for Algorithmic Composition Including a Model of Schoenberg’s Theory of Harmony
inferred← citeshttps://doi.org/10.1007/978-3-030-85910-7_46openalex-snapshot
Cost Projections for the Product Life Cycle at the Early Stages of Product Development
inferred← citeshttps://doi.org/10.1007/978-3-030-88806-0_7openalex-snapshot
Disjunctive Interval Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-13858-4_11openalex-snapshot
Interconnections Between Multiset Grammars and Models of Computation
inferred← citeshttps://doi.org/10.1007/978-3-031-13858-4_2openalex-snapshot
Sociotechnological Systems and Associated Problems
inferred← citeshttps://doi.org/10.1007/978-3-031-13858-4_3openalex-snapshot
Syntax, Semantics, and Mathematical Properties of Multiset Grammars
inferred← citeshttps://doi.org/10.1007/978-3-031-13909-3_15openalex-snapshot
Applications of Quantum Annealing to Music Theory
inferred← citeshttps://doi.org/10.1007/978-3-031-16302-9_4openalex-snapshot
Decomposition of Fuzzy Homogeneous Classes of Objects
inferred← citeshttps://doi.org/10.1007/978-3-031-17558-9_10openalex-snapshot
Constraint Modeling for Forest Management
inferred← citeshttps://doi.org/10.1007/978-3-031-33271-5_22openalex-snapshot
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
inferred← citeshttps://doi.org/10.1007/978-3-031-34144-1_13openalex-snapshot
Constraint Programming Paradigm
inferred← citeshttps://doi.org/10.1007/978-3-031-39821-6_10openalex-snapshot
A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem
inferred← citeshttps://doi.org/10.1007/978-3-031-46439-3_6openalex-snapshot
Multi-objective Finite-Domain Constraint-Based Forest Management
inferred← citeshttps://doi.org/10.1007/978-3-031-54468-2_7openalex-snapshot
Computational Models Supporting Decision-Making in Managing Publication Activity at Polish Universities
inferred← citeshttps://doi.org/10.1007/978-3-031-63219-8_22openalex-snapshot
A Constraint-Based Greedy-Local-Global Search for the Warehouse Location Problem
inferred← citeshttps://doi.org/10.1007/978-3-031-87330-0_11openalex-snapshot
Greedy and Local Search-Based Constraint Optimization of the Travelling Salesman Problem
inferred← citeshttps://doi.org/10.1007/978-3-031-94989-0_5openalex-snapshot
Enhanced Optimal Beacon Placement for Indoor Positioning: Refining the Search Process
inferred← citeshttps://doi.org/10.1007/978-3-031-95973-8_1openalex-snapshot
Optimized Scheduling of Medical Appointment Sequences Using Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-97570-7_12openalex-snapshot
Modeling the Cyclic Bandwidth Problem in QUBO for Quantum Annealing
inferred← citeshttps://doi.org/10.1007/978-3-032-02555-5_14openalex-snapshot
Automated Planning of Entertainment Content for Digital Health Interventions: A Technical Feasibility Study on Balance VS Fun
inferred← citeshttps://doi.org/10.1007/978-3-032-02813-6_7openalex-snapshot
A Hybrid Constraint-Based, Greedy, and Local Search Approach for the Transshipment Problem
inferred← citeshttps://doi.org/10.1007/978-3-032-17899-2_4openalex-snapshot
A Constraint and Search-Based Approach on Fixed Time Step-Based Solving of the Stockyard Planning Problem
inferred← citeshttps://doi.org/10.1007/978-3-032-23499-5_17openalex-snapshot
Teaching Enforcement of Satisfiable, Coherent, and Minimal Database Constraint Sets Associated with Function Products to Computer Science M.Sc. Students
inferred← citeshttps://doi.org/10.1007/978-3-032-29918-5_1openalex-snapshot
From Table Constraints to QUBO Models for Quantum Annealing
inferred← citeshttps://doi.org/10.1007/978-3-032-32335-4_1openalex-snapshot
A Constraint-Based Stockyard Planning Problem on a Realistic Time-Dependent Setting
inferred← citeshttps://doi.org/10.1007/978-3-032-32335-4_4openalex-snapshot
Integrating Insertion Heuristics into the Miller-Tucker-Zemlin Constraint Model for the Traveling Salesman Problem
inferred← citeshttps://doi.org/10.1007/978-3-319-07046-9_20openalex-snapshot
Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-319-10389-1_9openalex-snapshot
Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10428-7_63openalex-snapshot
Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems
inferred← citeshttps://doi.org/10.1007/978-3-319-13770-4_8openalex-snapshot
From Declarative Set Constraint Models to “Good” SAT Instances
inferred← citeshttps://doi.org/10.1007/978-3-319-15033-8_6openalex-snapshot
Large Neighbourhood Search and Simulation for Disruption Management in the Airline Industry
inferred← citeshttps://doi.org/10.1007/978-3-319-18476-0_18openalex-snapshot
Enumeration Strategies for Solving Constraint Satisfaction Problems: A Performance Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-319-19282-6_8openalex-snapshot
Take Command of Your Constraints!
inferred← citeshttps://doi.org/10.1007/978-3-319-21380-4_98openalex-snapshot
Towards a Framework for Adaptive Constraint Propagation
inferred← citeshttps://doi.org/10.1007/978-3-319-21404-7_12openalex-snapshot
Autonomous Tuning for Constraint Programming via Artificial Bee Colony Optimization
inferred← citeshttps://doi.org/10.1007/978-3-319-23219-5_9openalex-snapshot
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-23727-5_24openalex-snapshot
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture
inferred← citeshttps://doi.org/10.1007/978-3-319-42007-3_77openalex-snapshot
The Impact of Using Different Choice Functions When Solving CSPs with Autonomous Search
inferred← citeshttps://doi.org/10.1007/978-3-319-42849-9openalex-snapshot
Decision Diagrams for Optimization
inferred← citeshttps://doi.org/10.1007/978-3-319-42849-9_10openalex-snapshot
MDD Propagation for sequence Constraints
inferred← citeshttps://doi.org/10.1007/978-3-319-46583-8_1openalex-snapshot
Identifying Project Alternatives with the Use of Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_57openalex-snapshot
Effective and Efficient Customization Through Lean Trans-Departmental Configuration
inferred← citeshttps://doi.org/10.1007/978-3-319-49130-1_14openalex-snapshot
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form
inferred← citeshttps://doi.org/10.1007/978-3-319-61033-7_7openalex-snapshot
Answer Set Programming with External Source Access
inferred← citeshttps://doi.org/10.1007/978-3-319-66655-6_3openalex-snapshot
Selected Applications of Rules
inferred← citeshttps://doi.org/10.1007/978-3-319-71583-4_19openalex-snapshot
Understanding Complexity in a Practical Combinatorial Problem Using Mathematical Programming and Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-72215-3_9openalex-snapshot
Modeling, Designing and Analyzing Resource Reservations in Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-92007-8_18openalex-snapshot
The Regularization of CSPs for Rostering, Planning and Resource Management Problems
inferred← citeshttps://doi.org/10.1007/978-3-319-94295-7_7openalex-snapshot
Cloud Service Brokerage and Service Arbitrage for Container-Based Cloud Services
inferred← citeshttps://doi.org/10.1007/978-3-319-98334-9_46openalex-snapshot
Metamorphic Testing of Constraint Solvers
inferred← citeshttps://doi.org/10.1007/978-3-540-27775-0_21openalex-snapshot
On Hybridization of Local Search and Constraint Propagation
inferred← citeshttps://doi.org/10.1007/978-3-540-30198-1_20openalex-snapshot
A Component Language for Hybrid Solver Cooperations
inferred← citeshttps://doi.org/10.1007/978-3-540-30201-8_2openalex-snapshot
Constraint Programming Next Challenge: Simplicity of Use
inferred← citeshttps://doi.org/10.1007/978-3-540-30201-8_26openalex-snapshot
Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-540-30201-8_45openalex-snapshot
Speeding Up Constraint Propagation
inferred← citeshttps://doi.org/10.1007/978-3-540-30201-8_49openalex-snapshot
A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint
inferred← citeshttps://doi.org/10.1007/978-3-540-30201-8_69openalex-snapshot
Relation Variables in Qualitative Spatial Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-30221-6_26openalex-snapshot
Relation Variables in Qualitative Spatial Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-30557-6_13openalex-snapshot
Solving Constraints on Sets of Spatial Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-45193-8_103openalex-snapshot
Symmetry Breaking Ordering Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-48584-1_1openalex-snapshot
Memetic Algorithms in Planning, Scheduling, and Timetabling
inferred← citeshttps://doi.org/10.1007/978-3-540-68111-3_116openalex-snapshot
Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System
inferred← citeshttps://doi.org/10.1007/978-3-540-68155-7_4openalex-snapshot
Constraint Integer Programming: A New Approach to Integrate CP and MIP
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_10openalex-snapshot
Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_11openalex-snapshot
Semiring-Based Soft Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-69052-8_43openalex-snapshot
Tuning Constrained Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-72397-4_17openalex-snapshot
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost
inferred← citeshttps://doi.org/10.1007/978-3-540-72397-4_22openalex-snapshot
Solving a Stochastic Queueing Control Problem with Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-72397-4_26openalex-snapshot
Generalizations of the Global Cardinality Constraint for Hierarchical Resources
inferred← citeshttps://doi.org/10.1007/978-3-540-73055-2_34openalex-snapshot
Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-73066-8_1openalex-snapshot
Implementing Conformiq Qtronic
inferred← citeshttps://doi.org/10.1007/978-3-540-73354-6_31openalex-snapshot
A Quantitative Approach for the Design of Academic Curricula
inferred← citeshttps://doi.org/10.1007/978-3-540-73817-6_11openalex-snapshot
Cost-Based Filtering for Stochastic Inventory Control
inferred← citeshttps://doi.org/10.1007/978-3-540-73817-6_5openalex-snapshot
Bipolar Preference Problems: Framework, Properties and Solving Techniques
inferred← citeshttps://doi.org/10.1007/978-3-540-74610-2_18openalex-snapshot
Multivalued Action Languages with Constraints in CLP(FD)
inferred← citeshttps://doi.org/10.1007/978-3-540-74970-7_30openalex-snapshot
Advisors for Incremental Propagation
inferred← citeshttps://doi.org/10.1007/978-3-540-75555-5_43openalex-snapshot
Decomposition Approach to Solve Dial-a-Ride Problems Using Ant Computing and Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-77086-2_10openalex-snapshot
Inference Control in Logic Databases as a Constraint Satisfaction Problem
inferred← citeshttps://doi.org/10.1007/978-3-540-77345-0openalex-snapshot
Practice and Theory of Automated Timetabling VI
inferred← citeshttps://doi.org/10.1007/978-3-540-77345-0_19openalex-snapshot
Hierarchical Timetable Construction
inferred← citeshttps://doi.org/10.1007/978-3-540-77475-4_10openalex-snapshot
A Parallel Deduction for Description Logics with ALC Language
inferred← citeshttps://doi.org/10.1007/978-3-540-78969-7_7openalex-snapshot
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
inferred← citeshttps://doi.org/10.1007/978-3-540-85110-3_9openalex-snapshot
A Full First-Order Constraint Solver for Decomposable Theories
inferred← citeshttps://doi.org/10.1007/978-3-540-85451-7_21openalex-snapshot
Mapping Heterogeneous Distributed Applications on Clusters
inferred← citeshttps://doi.org/10.1007/978-3-540-85776-1_34openalex-snapshot
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
inferred← citeshttps://doi.org/10.1007/978-3-540-85853-9_23openalex-snapshot
A Generic Layout-Tool for Summaries of Meetings in a Constraint-Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-85958-1_16openalex-snapshot
Cost-Based Domain Filtering for Stochastic Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-85958-1_44openalex-snapshot
Perfect Derived Propagators
inferred← citeshttps://doi.org/10.1007/978-3-540-85988-8_96openalex-snapshot
A Hybrid System for the Semantic Annotation of Sulco-Gyral Anatomy in MRI Images
inferred← citeshttps://doi.org/10.1007/978-3-540-87698-4_5openalex-snapshot
The Effectiveness of T-Way Test Data Generation
inferred← citeshttps://doi.org/10.1007/978-3-540-88871-0_6openalex-snapshot
Dynamic Web Services Provisioning with Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-89408-7_15openalex-snapshot
Scope Underspecification with Tree Descriptions: Theory and Practice
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_81openalex-snapshot
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools
inferred← citeshttps://doi.org/10.1007/978-3-540-92800-3_6openalex-snapshot
A Logical Approach to Constraint Satisfaction
inferred← citeshttps://doi.org/10.1007/978-3-642-02298-2_52openalex-snapshot
Solving Sudoku with Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-03251-6_3openalex-snapshot
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-04244-7_44openalex-snapshot
Failed Value Consistencies for Constraint Satisfaction
inferred← citeshttps://doi.org/10.1007/978-3-642-04244-7_56openalex-snapshot
Weakly Monotonic Propagators
inferred← citeshttps://doi.org/10.1007/978-3-642-04968-2_1openalex-snapshot
Scheduling IPTV Content Pre-distribution
inferred← citeshttps://doi.org/10.1007/978-3-642-05258-3_32openalex-snapshot
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-12002-2_7openalex-snapshot
An Alternative to SAT-Based Approaches for Bit-Vectors
inferred← citeshttps://doi.org/10.1007/978-3-642-13414-2_7openalex-snapshot
Compositional Construction of Real-Time Dataflow Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-14309-0_4openalex-snapshot
Constraint Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-14866-8_3openalex-snapshot
Chapter 3. Selected Design Issues
inferred← citeshttps://doi.org/10.1007/978-3-642-14866-8_5openalex-snapshot
Chapter 5. Realistic Computer Models
inferred← citeshttps://doi.org/10.1007/978-3-642-15654-0_6openalex-snapshot
Searching the Best (Formulation, Solver, Configuration) for Structured Problems
inferred← citeshttps://doi.org/10.1007/978-3-642-16054-7_4openalex-snapshot
A Hybrid LS-CP Solver for the Shifts and Breaks Design Problem
inferred← citeshttps://doi.org/10.1007/978-3-642-16952-6_59openalex-snapshot
Controlling Search in Constrained-Object Models
inferred← citeshttps://doi.org/10.1007/978-3-642-20589-7_14openalex-snapshot
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-21470-7_12openalex-snapshot
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform
inferred← citeshttps://doi.org/10.1007/978-3-642-23786-7_15openalex-snapshot
A Framework for Decision-Based Consistencies
inferred← citeshttps://doi.org/10.1007/978-3-642-24769-9_49openalex-snapshot
Domain-Splitting Generalized Nogoods from Restarts
inferred← citeshttps://doi.org/10.1007/978-3-642-25264-8_9openalex-snapshot
A New Approach in Model-Based Testing: Designing Test Models in TTCN-3
inferred← citeshttps://doi.org/10.1007/978-3-642-25535-9_5openalex-snapshot
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
inferred← citeshttps://doi.org/10.1007/978-3-642-29210-1_12openalex-snapshot
Rounding and Propagation Heuristics for Mixed Integer Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-29828-8_12openalex-snapshot
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers
inferred← citeshttps://doi.org/10.1007/978-3-642-30671-6_1openalex-snapshot
A Unified Taxonomy of Hybrid Metaheuristics with Mathematical Programming, Constraint Programming and Machine Learning
inferred← citeshttps://doi.org/10.1007/978-3-642-30671-6_15openalex-snapshot
A Multi-paradigm Tool for Large Neighborhood Search
inferred← citeshttps://doi.org/10.1007/978-3-642-33347-7_10openalex-snapshot
A Compact Encoding of Pseudo-Boolean Constraints into SAT
inferred← citeshttps://doi.org/10.1007/978-3-642-33558-7_29openalex-snapshot
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle
inferred← citeshttps://doi.org/10.1007/978-3-642-34179-3_1openalex-snapshot
Combination Skyline Queries
inferred← citeshttps://doi.org/10.1007/978-3-642-34188-5_19openalex-snapshot
Dynamic Test Data Generation for Data Intensive Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-34321-6_17openalex-snapshot
A Constraint-Based Approach to Quality Assurance in Service Choreographies
inferred← citeshttps://doi.org/10.1007/978-3-642-36249-1_9openalex-snapshot
Accurate Proactive Adaptation of Service-Oriented Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-38171-3_25openalex-snapshot
Improving Strong Branching by Propagation
inferred← citeshttps://doi.org/10.1007/978-3-642-38493-6_15openalex-snapshot
Interactive Interaction Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-38516-2_5openalex-snapshot
Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound
inferred← citeshttps://doi.org/10.1007/978-3-642-38977-1_11openalex-snapshot
Automated Analysis in Feature Modelling and Product Configuration
inferred← citeshttps://doi.org/10.1007/978-3-642-39473-7_129openalex-snapshot
Adaptive and Multilevel Approach for Constraint Solving
inferred← citeshttps://doi.org/10.1007/978-3-642-39640-3_33openalex-snapshot
Automatic Triggering of Constraint Propagation
inferred← citeshttps://doi.org/10.1007/978-3-642-39866-7_3openalex-snapshot
Specification of Trade-Off Strategies for Agents: A Model-Driven Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-40708-6_11openalex-snapshot
Constraint Programming in Community-Based Gene Regulatory Network Inference
showing the first 200 of 722 · page through all 722
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.