yusuke1997/dblp-id-title huggingface dataset:
Pushing Data into CP Models Using Graphical Model Learning and Solving
Dynamic Step Size Adjustment in Iterative Deepening Search
Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper)
The Modelling Language Zinc
Embarrassingly Parallel Search
Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper)
Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features
Towards Practical Infinite Stream Constraint Programming: Applications and Implementation
Constraint Patterns
Comparison of Symmetry Breaking Methods
Tree-Decompositions with Connected Clusters for Solving Constraint Networks
31st International Conference on Principles and Practice of Constraint Programming, CP 2025, Glasgow, Scotland, August 10-15, 2025
Random 3-SAT and BDDs: The Plot Thickens Further
Synchronous, Asynchronous and Hybrid Algorithms for DisCSP
Multiobjective Optimization by Decision Diagrams
Combining Constraint Programming Reasoning with Large Language Model Predictions
The Lattice Structure of Sets of Surjective Hyper-Operations
On Dual Encodings for Non-binary Constraint Satisfaction Problems
Lemma Synthesis for Automating Induction over Algebraic Data Types
ID Walk: A Candidate List Strategy with a Simple Diversification Device
Monotone Literals and Learning in QBF Reasoning
An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP
Online Constraint Solving and Rectangle Packing
AbsCon: A Prototype to Solve CSPs with Abstraction
Automatic Generation of Declarative Models For Differential Cryptanalysis
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
Solving Crew Scheduling Problems bu Constraint Programming
A Safe and Flexible CP-Based Approach for Velocity Tuning Problems
Decomposing Global Grammar Constraints
Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems
Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Automatic Generation and Delivery of Multiple-Choice Math Quizzes
Optimal Distributed Arc-Consistency
Broken Triangles Revisited
Improving Cost Calculations for Global Constraints in Local Search
Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars
Constraints for Interactive Graphical Applications
Safe Datalog Queries with Linear Constraints
Learning and Solving Soft Temporal Constraints: An Experimental Study
Random Constraint Satisfaction: Theory Meets Practice
Restricted Path Consistency Revisited
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996
Scheduling Scientific Experiments on the Rosetta/Philae Mission
Teacher and Learner Profiles for Constraint Acquisition
Extending CLP with Metaheuristics
The Complexity of Symmetry Breaking Beyond Lex-Leader
On the Complexity of Integer Programming with Fixed-Coefficient Scaling (Short Paper)
Preference Elicitation for DCOPs
A Constraint-Aided Conceptual Design Environment for Autodesk Inventor
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints
Breaking Symmetries with Involutions
Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
To Encode or to Propagate? The Best Choice for Each Constraint in SAT
2-Way vs. d-Way Branching for CSP
Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry
A Constraint Programming Approach for Solving Patient Transportation Problems
Constraint Reasoning over Strings
Incremental Cardinality Constraints for MaxSAT
Towards an Efficient SAT Encoding for Temporal Reasoning
SAT Modulo Symmetries for Graph Generation
A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture
29th International Conference on Principles and Practice of Constraint Programming, CP 2023, Toronto, Canada, August 27-31, 2023
Test Instance Generation for MAX 2SAT
Unit Types for MiniZinc
MUST: Provide a Finer-Grained Explanation of Unsatisfiability
Combining Nogoods in Restart-Based Search
Statistical Regimes Across Constrainedness Regions
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc
On Solving Soft Temporal Constraints Using SAT Techniques
The Non-overlapping Constraint between Objects Described by Non-linear Inequalities
Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks
Singleton Consistencies
A New Propagator for Two-Layer Neural Networks in Empirical Model Learning
Solving Segment Routing Problems with Hybrid Constraint Programming Techniques
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules
distn: An Euclidean Distance Global Constraint
On Compiling CNF into Decision-DNNF
Defeasible Constraint Solving
Interactive Reconfiguration in Power Supply Restoration
Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms
An Integrated Modelling, Debugging, and Visualisation Environment for G12
Translations for Comparing Soft Frameworks
Improving SAT-Based Weighted MaxSAT Solvers
Five Pitfalls of Empirical Scheduling Research
Towards Faster Reasoners by Using Transparent Huge Pages
Solving the Kirkman's Schoolgirl Problem in a Few Seconds
CoverSize: A Global Constraint for Frequency-Based Itemset Mining
The ROOTS Constraint
Intelligent Domain Splitting for CSPs with Ordered Domains
Constraint-Based Register Allocation and Instruction Scheduling
Optimal Carpet Cutting
Explanations for Global Constraints
On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers
Solving String Constraints: The Case for Constraint Programming
Improved Algorithms for the Global Cardinality Constraint
On Universal Restart Strategies for Backtracking Search
Adaptive Clause Weight Redistribution
Cumulative Scheduling with Calendars and Overtime
Neighbourhood Clause Weight Redistribution in Local Search for SAT
Linear Concurrent Constraint Programming over Reals
Symmetry Breaking Revisited
Efficient Querying of Periodic Spatiotemporal Objects
Open Constraint Optimization
The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting
Global Constraints for Integer and Set Value Precedence
Solving Over-Constrained CSPs Using Weighted OBDDs
PSAP - A Planning System for Aircraft Production (Extended Abstract)
Anytime and Exact Search for Planning Problems: How to explore a DP-based state transition graph with A*, CP and LS? (Invited Talk)
Unit Propagation with Stable Watches (Short Paper)
Beyond NP: Arc-Consistency for Quantified Constraints
Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings
Constraint Programming Next Challenge: Simplicity of Use
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities
Approximation Strategies for Incomplete MaxSAT
Resource Constrained Shortest Paths with a Super Additive Objective Function
Finding the Hardest Formulas for Resolution
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
Deriving Explanations and Implications for Constraint Satisfaction Problems
Leveraging the Learning Power of Examples in Automated Constraint Acquisition
A Synthesis of Constraint Satisfaction and Constraint Solving
The Effect of Structural Measures and Merges on SAT Solver Performance
A Time Leap Challenge for SAT-Solving
Pseudo-Boolean Optimization by Implicit Hitting Sets
Automatic Generation of Implied Clauses for SAT
Heterogeneous Constraint Problems
A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies
Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings
Solving the Crane Scheduling Problem Using Intelligent Search Schemes
Impact of Censored Sampling on the Performance of Restart Strategies
WCSP Integration of Soft Neighborhood Substitutability
Constraint-Based Optimization with the Minimax Decision Criterion
The Arc and Path Consistency Phase Transitions
Constraint Programming for Path Planning with Uncertainty - Solving the Optimal Search Path Problem
Improving WPM2 for (Weighted) Partial MaxSAT
Exact Methods for the Travelling Salesperson Problem with Self-Deleting Graphs
Cutting Planes in Constraint Programming: A Hybrid Approach
Solving Over-Constrained Problems with SAT
Hierarchical Hardness Models for SAT
From Formal Boosted Tree Explanations to Interpretable Rule Sets
Cooperating Constraint Solvers
Advances in Polytime Isomorph Elimination for Configuration
Global Optimization of Probabilistically Constrained Linear Programs
Controllability of Soft Temporal Constraint Problems
Tractable Disjunctions of Linear Constraints
Half Reification and Flattening
A General Framework for Reordering Agents Asynchronously in Distributed CSP
Random 3-SAT: The Plot Thickens
Labelling Heuristics for CSP Application Domains
A Unifying Framework for Tractable Constraints
Assisted Lead Sheet Composition Using FlowComposer
From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals
Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver
On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency
On Confluence of Constraint Handling Rules
Sweeping with Continuous Domains
Solution Directed Backjumping for QCSP
Bridging the Gap between SAT and CSP
Universally Quantified Interval Constraints
Reconfigurable Architectures: A New Vision for Optimization Problems
Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics
Large Neighborhood Beam Search for Domain-Independent Dynamic Programming
A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stabe Set Problem
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
Unifying Reserve Design Strategies with Graph Theory and Constraint Programming
Solving Weighted CSPs by Successive Relaxations
Symmetry Definitions for Constraint Satisfaction Problems
Learning TSP Requires Rethinking Generalization
An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing
Decomposition of the NValue Constraint
Reasoning over Biological Networks Using Maximum Satisfiability
Improvement of the Embarrassingly Parallel Search for Data Centers
Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
QCSP on Partially Reflexive Forests
Find Your Way Back: Mobility Profile Mining with Constraints
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization
Programming Constraint Inference Engines
Parallelizing a SAT-Based Product Configurator
On Symbolic Approaches for Computing the Matrix Permanent
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Distributed Constraints for Large-Scale Scheduling Problems
High-Level Nondeterministic Abstractions in
On Minimal Constraint Networks
Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control
Interactive Algorithm for Multi-Objective Constraint Optimization
Heuristic Methods for Over-Constrained Constraint Satisfaction Problems
Temporal Concurrent Constraint Programming
Instance Generation via Generator Instances
Constraint-Directed Search in Computational Finance and Economics
Improving Energetic Propagations for Cumulative Scheduling
Constraint Representations and Structural Tractability
Enforcing Structure on Temporal Sequences: The Allen Constraint
From Local to Global Consistency in Temporal Constraint Networks
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper)
Differentiable Invariants
Constraint-Based Combinators for Local Search
Stochastic MiniZinc
Batch Processing with Sequence Dependent Setup Times
Clique Cuts in Weighted Constraint Satisfaction
Optimizing 2D Cutting: A Bin Packing Approach to Minimize Scraps and Maximize Their Reusability
Towards Solver-Independent Propagators
Guarded Constraint Models Define Treewidth Preserving Reductions
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees
Constraint Techniques for Solving the Protein Structure Prediction Problem
Applying Constraint Programming to Identification and Assignment of Service Professionals
Non-Binary Constraints
Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing
Aircraft Resource-Constrained Assembly Line Balancing with Learning Effect: A Constraint Programming Approach
Globalizing Constraint Models
Functional Significance Checking in Noisy Gene Regulatory Networks
Constraint Propagation for Efficient Inference in Markov Logic
Local Consistency and SAT-Solvers
Constraint Propagation as a Proof System
The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R)
Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs
Constraint-Based Schedulers, Do They Really Work?
Optimization Challenges in Smart Grid Operations
Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search
Strategies for Global Optimization of Temporal Preferences
Operational Equivalence of CHR Programs and Constraints
SABIO: An Implementation of MIP and CP for Interactive Soccer Queries
A Model Seeker: Extracting Global Constraint Models from Positive Examples
The Weighted Average Constraint
Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem
Pruning Rules for Constrained Optimisation for Conditional Preferences
Structure-Guided Local Improvement for Maximum Satisfiability
Quasipolynomial Simulation of DNNF by a Non-determinstic Read-Once Branching Program
A Hybrid Approach for Solving Real-World Nurse Rostering Problems
Introducing External Functions in Constraint Query Languages
Generation of Test Patterns for Differential Diagnosis of Digital Circuits
Constraint-Based Optimal Testing Using DNNF Graphs
The Complexity of Valued Constraint Models
Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors
Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper)
Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies
An Optimal Filtering Algorithm for Table Constraints
Positive and Negative Length-Bound Reachability Constraints
A Scalable Linear Constraint Solver for User Interface Construction
Evolving Parameterised Policies for Stochastic Constraint Programming
Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems
Constraint Models for Klondike
Supertree Construction with Constraint Programming
Distributed Partial Constraint Satisfaction Problem
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
On the Forward Checking Algorithm
Arc Consistency via Linear Programming
Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost
Compiling All Possible Conflicts of a CSP
Multivalued Decision Diagrams for Sequencing Problems - (Extended Abstract)
Amplification of Search Performance through Randomization of Heuristics
An Overview of HAL
Computing Explanations for Global Scheduling Constraints
A Visual Constraint-Programming Environment
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows
Optimization-based Heuristics for Maximal Constraint Satisfaction
Parallel MIP Solving with Dynamic Task Decomposition
Using SAT in QBF
Proterv-II: An Integrated Production Planning and Scheduling System
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains
Evaluation of Length-Lex Set Variables
Asynchronous Search for Numeric DisCSPs
Composition Operators for Constraint Propagation: An Application to Choco
Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry
Symmetry Breaking in Peaceably Coexisting Armies of Queens
Practically Feasible Proof Logging for Pseudo-Boolean Optimization
Classes of Submodular Constraints Expressible by Graph Cuts
Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving
Generating Feasible Schedules for a Pick-Up and Delivery Problem
Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization
: A Bottom-Up Approach for Solving Quantified CSPs
The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results
Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning
Satisfiability of Quantitative Temporal Constraints with Multiple Granularities
NuSBDS: An Easy to Use Symmetry Breaking System
Extending the Capacity of 1 / f Noise Generation
Defining and Evaluating Heuristics for the Compilation of Constraint Networks
Exploiting Microstructure in CSPs
Visualizations to Summarize Search Behavior
Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search
Exhaustive Generation of Benzenoid Structures Sharing Common Patterns
The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors
Atom Mapping with Constraint Programming
Parallel Execution Models for Constraint Propagation
Combining Topological and Qualitative Size Constraints for Spatial Reasoning
Exact Cover via Satisfiability: An Empirical Study
A BDD-Based Interactive Configurator for Modular Systems
Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems
Large Neighborhood Search for Dial-a-Ride Problems
Improving GAC-4 for Table and MDD Constraints
PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints
N-Ary Consistencies and Constraint-Based Backtracking
A Labelling Arc Consistency Method for Functional Constraints
A Modeling Language for Constraint Programming
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP
Improved Branch and Bound in Constraint Logic Programming
Symmetries for Cube-And-Conquer in Finite Model Finding
Domain Views for Constraint Programming
Complexity of Minimum-Size Arc-Inconsistency Explanations
Weak Composition for Qualitative Spatial and Temporal Reasoning
The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications
Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Explaining Producer/Consumer Constraints
A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice
SOGgy Constraints: Soft Open Global Constraints
Exploiting Decomposition in Constraint Optimization Problems
Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms
Incremental Constrained Clustering by Minimal Weighted Modification
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management
Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems
Breaking All Value Symmetries in Surjection Problems
Algorithm Selection and Scheduling
Concurrent Constraint Programming Research Programmes - Redux
Constraint Solving for Combinatorial Search Problems: A Tutorial
Scheduling Agents Using Forecast Call Arrivals at Hydro-Québec's Call Centers
A BDD-Based Approach to Interactive Configuration
Interaction of Constraint Programming and Local Search for Optimisation Problems
DUELMIPs: Optimizing SDN Functionality and Security
A Regular Language Membership Constraint for Finite Sequences of Variables
Solving the Non-Crossing MAPF with CP
A Constraint Programming Approach for Solving Rigid Geometric Systems
Handling Implication and Universal Quantification Constraints in FLUX
The Phase Transition of the Linear Inequalities Problem
Generating Propagators for Finite Set Constraints
Engineering an Efficient PB-XOR Solver
Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem
Dialectic Search
Solution Extraction with the "Critical Path" in Graphplan-Based Optimal Temporal Planning
Recovering and Exploiting Structural Knowledge from CNF Formulas
How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails
Typed Guarded Decompositions for Constraint Satisfaction
Robust Constraint Solving Using Multiple Heuristics
A Cube Distribution Approach to QBF Solving and Certificate Minimization
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach
Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint
Assumption-Based Pruning in Conditional CSP
Model Combinators for Hybrid Optimization
Defeasibility in CLP(Q) through Generalized Slack Variables
Omissions in Constraint Acquisition
Search for Mathematical Objects
A Microstructure-Based Family of Tractable Classes for CSPs
An Efficient Light Solver for Querying the Semantic Web
Search Spaces for Min-Perturbation Repair
On Backdoors to Tractable Constraint Languages
Compiling Conditional Constraints
Search and Inference in AI Planning
Exploiting the Use of DAC in MAX-CSP
Min CSP on Four Elements: Moving beyond Submodularity
User's Constraints in Itemset Mining
Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints
Search Space Reduction for Constraint Optimization Problems
Learning-Sensitive Backdoors with Restarts
Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using Constraint Programming
Scene Reconstruction Based on Constraints: Details on the Equation System Decomposition
A Filter for the Circuit Constraint
A Hybrid Paradigm for Adaptive Parallel Search
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings
Universal Booleanization of Constraint Models
Constraint Programming-Based Job Dispatching for Modern HPC Applications
Consistency for Partially Defined Constraints
Constraint-Based Temporal Reasoning for E-Learning with LODE
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
Optimization of Short-Term Underground Mine Planning Using Constraint Programming
Rotation-Based Formulation for Stable Matching
On Minimal Weighted Clones
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability
Heuristics for MDD Propagation in HADDOCK
Neuron Constraints to Model Complex Real-World Problems
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules
Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models
Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization
Distributed Constraint-Based Local Search
Objective as a Feature for Robust Search Strategies
Soft Arc Consistency Applied to Optimal Planning
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
On the Power of Clause-Learning SAT Solvers with Restarts
Solving Various Weighted Matching Problems with Constraints
Generating Optimal Stowage Plans for Container Vessel Bays
Exploiting the CSP Structure by Interchangeability
Solving Satisfaction Problems Using Large-Neighbourhood Search
AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems
Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies
Semmantic Properties of CHIP (FD)