yusuke1997/dblp-id-title huggingface dataset:
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable
The SeqBin Constraint Revisited
The IntSat Method for Integer Linear Programming
Exact Sampling for Regular and Markov Constraints with Belief Propagation
Global Constraints on Feature Models
A Meta Constraint Logic Programming Architecture (Extended Abstract)
28th International Conference on Principles and Practice of Constraint Programming, CP 2022, Haifa, Israel, July 31 - August 8, 2022
A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation
Scaling Effects in the CSP Phase Transition
Partial Symmetry Breaking
A Domain Consistency Algorithm for the Stretch Constraint
Sequence Variables for Routing Problems
The Independence Property of a Class of Set Constraints
Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints
In Search of Exceptionally Difficult Constraint Satisfaction Problems
27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
Disjunctive and Continuous Constraint Satisfaction Problems
Explaining Propagation for Gini and Spread with Variable Mean
Applications of Constraint Programming
Search Strategies for Floating Point Constraint Systems
A Declarative Approach to Constrained Community Detection
Constraint Programming: an Efficient and Practical Approach to Solving the Job-Shop Problem
Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory
On the Containment of Forbidden Patterns Problems
Breaking Symmetry of Interchangeable Variables and Values
Inference Duality as a Basis for Secitivity Analysis
The Propagation Depth of Local Consistency
Self Configuring Constraint Programming Systems
Peak-Hour Rail Demand Shifting with Discrete Optimisation
Building Negative Reduced Cost Paths Using Constraint Programming
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views
Algorithmic Mechanism Design and Constraints
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT
Partial Redundant Modeling
Asymmetric Distributed Constraints Satisfaction Problems
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn
Relaxations and Explanations for Quantified Constraint Satisfaction Problems
Practical Investigation of Constraints with Graph Views
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
Computing and Exploiting Tree-Decompositions for Solving Constraint Networks
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem
Approximating Weighted Max-SAT Problems by Compensating for Relaxations
Testing Continuous Double Auctions with a Constraint-Based Oracle
Using CP in Automatic Test Generation for ABB Robotics' Paint Control System
Modelling Destructive Assignments
Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation
Balancing Asymmetry in Max-sum Using Split Constraint Factor Graphs
A Join-Based Hybrid Parameter for Constraint Satisfaction
A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint
Distributed Tree Decomposition with Privacy
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems
Views and Iterators for Generic Constraint Implementations
Consistency and Propagation with Multiset Constraints: A Formal Viewpoint
A Constraint Programming Approach to the Stable Marriage Problem
An Interval Constraint Programming Approach for Quasi Capture Tube Validation
A Complete Multi-valued SAT Solver
Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores
Propagating N-Ary Rigid-Body Constraints
Constraint Programming for Distributed Resource Allocation
Constraint-Based In-Station Train Dispatching
Distribution Optimization in Constraint Programming
Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines
AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm
Extending Broken Triangles and Enhanced Value-Merging
Using Relaxations in Maximum Density Still Life
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
Differential Privacy of Hierarchical Census Data: An Optimization Approach
Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class
Domain Consistency with Forbidden Values
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation
Communication and Computation in Distributed CSP Algorithms
Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering
SPREAD: A Balancing Constraint Based on Statistics
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning
Cost-Driven Interactive CSP with Constraint Relaxation
Constraint Symmetry for the Soft CSP
Distributed Constraint-Based Railway Simulation
Exponential Steepest Ascent from Valued Constraint Graphs of Pathwidth Four
Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions
CP Solver Design for Maximum CPU Utilization (Invited Talk)
Evolving Variable-Ordering Heuristics for Constrained Optimisation
Abstracting Constraints Using Constraints
On Finding Minimum Satisfying Assignments
Algebraic Simplification Techniques for Propositional Satisfiability
Extending Forward Checking
On Guaranteeing Polynomially Bounded Search Tree Size
Data Driven VRP: A Neural Network Model to Learn Hidden Preferences for VRP
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
Constraint Programming Contribution to Benders Decomposition: A Case Study
Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search
Improving the Applicability of Adaptive Consistency: Preliminary Results
A Scalable Sweep Algorithm for the cumulative Constraint
Set Variables and Local Search
Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming
Maintaining Longest Paths Incrementally
An Eperimental Comparison of Three Modified DeltaBlue Algorithms
Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks
Mutational Fuzz Testing for Constraint Modeling Systems
AC-3 d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity
Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
Explanations and Numeric CSPs
Simple and Scalable Time-Table Filtering for the Cumulative Constraint
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint
Snake Lex: An Alternative to Double Lex
Symmetry Breaking Using Stabilizers
Constructing Constraints
Optimal Torpedo Scheduling
The Traveling Tournament Problem Description and Benchmarks
When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages
In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem
An Efficient Filtering Algorithm for Disjunction of Constraints
Deep Cooperation of Local Search and Unit Propagation Techniques
A Multi-engine Solver for Quantified Boolean Formulas
Verification of Parallel Systems using Constraint Programming
Arc Consistency for Global Cardinality Constraints with Costs
Using Constraint Programming for the Urban Transit Crew Rescheduling Problem
Learning Good Variable Orderings
A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP
A Constraint for Bin Packing
Large Neighborhood Search for Temperature Control with Demand Response
Primal and Dual Encoding from Applications into Quantified Boolean Formulas
: The Design and Analysis of an Algorithm Portfolio for SAT
Symmetry Breaking in Numeric Constraint Problems
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview
Evaluating QBF Solvers: Quantifier Alternations Matter
A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows
A Temporal Concurrent Constraint Programming Calculus
Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs
Distributed Forward Checking
Propagation via Kernelization: The Vertex Cover Constraint
Parallel Hybrid Best-First Search
Scheduling for Cellular Manufacturing
Variable Ordering Heuristics Show Promise
Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View
Smaller Selection Networks for Cardinality Constraints Encoding
Backdoors to Tractable Valued CSP
Laser Cutting Path Planning Using CP
Partially Ordered Constraint Optimization Problems
Boosting Local Consistency Algorithms over Floating-Point Numbers
Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks
Solving Large-Scale Nonlinear Programming Problems by Constraint Partitioning
Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT
Constraints of Difference and Equality: A Complete Taxonomic Characterisation
Redundant Modeling for the QuasiGroup Completion Problem
Multidimensional Bin Packing Revisited
Constraint Satisfaction with Bounded Treewidth Revisited
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources
Preference Reasoning
Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure?
Unary Resource Constraint with Optional Activities
A Framework for Constraint Programming Based Column Generation
Reduced Cost Fixing in MaxSAT
Sequential Precede Chain for Value Symmetry Elimination
Failure Analysis in Backtrack Search for Constraint Satisfaction
Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production
On-Demand Bound Computation for Best-First Constraint Optimization
A Scalable Approximate Model Counter
Certainty Closure: A Framework for Reliable Constraint Reasoning with Uncertainty
Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies
Global Cut Framework for Removing Symmetries
A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design
Terminating Decision Algorithms Optimally
Modeling and Solving a Composite Structure Design Problem with Constraint Programming (Short Paper)
Discriminating Instance Generation for Automated Constraint Model Selection
Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes
A CSP Solver Focusing on fac Variables
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints
Failed Value Consistencies for Constraint Satisfaction
Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results
A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes
From Constraint Minimization to Goal Optimization in CLP Languages
Disjunctive Scheduling in Tempo
Constraint Handling in Flight Planning
Constraint Programming Applied to the Multi-Skill Project Scheduling Problem
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation
A Constraint Programming Approach for Non-preemptive Evacuation Scheduling
Interval Analysis in Scheduling
On Deciding MUS Membership with QBF
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers
Parallel Local Search in Comet
Using Stochastic Local Search to Solve Quantified Boolean Formulae
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
Bandit-Based Search for Constraint Programming
Interactive Distributed Configuration
An Algebraic Approach to Multi-sorted Constraints
Solving Non-clausal Formulas with DPLL Search
A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT
The Parameterized Complexity of Local Consistency
Guiding Search in QCSP + with Back-Propagation
Restart Strategies: Analysis and Simulation
Solving Qualitative Constraints Involving Landmarks
Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions
Ordering Constraints over Feature Trees
Propagator Groups
A Generic Visualization Platform for CP
An Application of Constraint Programming to Superblock Instruction Scheduling
Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming
Encodings of the Sequence Constraint
Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency
Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem
Crossword Puzzles as a Constraint Problem
A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems
Maintaining Arc-Consistency within Dynamic Backtracking
MiniZinc: Towards a Standard CP Modelling Language
Specialised Constraints for Stable Matching Problems
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation
Learning Precedences for Scheduling Problems with Graph Neural Networks
Support Inference for Generic Filtering
Transition Dominance in Domain-Independent Dynamic Programming
A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations
Constraint Propagation: Between Abstract Models and ad hoc Strategies
Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems
GAC Via Unit Propagation
Learning Lagrangian Multipliers for the Travelling Salesman Problem
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems
Efficiently Solving Problems Where the Solutions Form a Group
Conjunctions of Among Constraints
alpha-Dynamic Controllability of Simple Temporal Problems with Preferences and Uncertainty
Improved Constraint Propagation via Lagrangian Decomposition
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT
How to Model and Verify Concurrent Algorithms for Distributed CSPs
Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems
Constraining Special-Purpose Domain Types
Derivation of Constraints and Database Relations
Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions
Encoding HTN Planning as a Dynamic CSP
Valid Inequality Based Lower Bounds for WCSP
An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm
iOpt: A Software Toolkit for Heuristic Search Methods
Boosting Distributed Constraint Satisfaction
Combine and Conquer: Genetic Algorithm and CP for Optimization
Empirical Studies of Heuristic Local Search for Constraint Solving
Exploiting Problem Structure for Solution Counting
FeReRA: A Multi-agent Approach to Constraint Satisfaction
Scheduling Telescope Observations for the European Southern Observatory (Short Paper)
PrintTalk: A Language for Constraint-Based 3D Modelling
An Adaptive Parallel SAT Solver
Boosting Chaff's Performance by Incorporating CSP Heuristics
From High Girth Graphs to Hard Instances
Modelling CSP Solution Algorithms with Petri Decision Nets
Optimization Bounds from Binary Decision Diagrams - (Extended Abstract)
An Interpolation Method for CLP Traversal
Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness
INCOP: An Open Library for INcomplete Combinatorial OPtimization
Dashed Strings and the Replace(-all) Constraint
The Expressive Power of Binary Linear Programming
Incremental Computation of Resource-Envelopes in Producer-Consumer Models
Filtering Isomorphic Models by Invariants (Short Paper)
Extending Compact-Table to Basic Smart Tables
SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering
Observations on Symmetry Breaking
Backtrack-Free Search for Real-Time Constraint Satisfaction
Constraints, Inference Channels and Secure Databases
Of Mousetraps and Men: A Cautionary Tale
Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP
Mini-bucket Elimination with Bucket Propagation
A Hybrid Method for Planning and Scheduling
Fixed-Template Promise Model Checking Problems
Exploiting Common Subexpressions in Numerical CSPs
Clique Inference Process for Solving Max-CSP
Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem
Vehicle Routing by Learning from Historical Solutions
Weakly Monotonic Propagators
The Argmax Constraint
Why Adding More Constraints Makes a Problem Easier for Hill-climbing Algorithms: Analyzing Landscapes of CSPs
Constraint Processing, Selected Papers
Using Metalevel Constraint Knowledge to Reduce Constraint Checking
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper)
Hill-Climbing with Local Consistency for Solving Distributed CSPs
Maintaining State in Propagation Solvers
N-Kings for Dynamic Systems
Constraint Hierarchies
Incremental Algorithms for Local Search from Existential Second-Order Logic
MinSAT versus MaxSAT for Optimization Problems
When Interval Analysis Helps Inter-block Backtracking
Modeling and Solving Project Scheduling with Calendars
Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size
Validated Constraint Compilation
CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem
Combining VSIDS and CHB Using Restarts in SAT
Constraint Modelling with LLMs Using In-Context Learning
Reasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms and Lower Bounds for Backdoors
Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper)
Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper)
Scheduling Running Modes of Satellite Instruments Using Constraint-Based Local Search
Watched Literals for Constraint Propagation in Minion
Monte-Carlo Tree Search for the Maximum Satisfiability Problem
Scheduling an Asynchronously Shared Resource
Solution Counting Algorithms for Constraint-Centered Search Heuristics
An LP-Based Heuristic for Optimal Planning
Conflict Analysis Based on Cutting-Planes for Constraint Programming
Finding a Nash Equilibrium by Asynchronous Backtracking
Quantum-Accelerated Global Constraint Filtering
Perfect Constraints Are Tractable
On the Behavior and Application of Constraint Weighting
Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper)
MDDs: Sampling and Probability Constraints
Solving Constraints over Floating-Point Numbers
Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse
Using Boolean Constraint Propagation for Sub-clauses Deduction
Subexponential Time Complexity of CSP with Global Constraints
Using Graph-Based CSP to Solve the Address Translation Problem
Maximum Constraint Satisfaction on Diamonds
The Concurrent Constraint Programming Research Programmes
Breaking Symmetry with Different Orderings
Arc Consistency on n -ary Monotonic and Linear Constraints
Automated Theorem Proving with Disjunctive Constraints
Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems
Using Graph Decomposition for Solving Continuous CSPs
Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences
Dominance Driven Search
Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
A Parametric Propagator for Discretely Convex Pairs of Sum Constraints
Interactive Heuristic Search Algorithm
Maintaining Longest Paths in Cyclic Graphs
Modeling Camera Control with Constrained Hypertubes
Modeling Pattern Set Mining Using Boolean Circuits
Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem
Learning Constraint Programming Models from Data Using Generate-And-Aggregate
Criticality and Parallelism in Structured SAT Instances
Semi-automatic Modeling by Constraint Acquisition
Error-Correcting Source Code
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances
Computing Optimal Decision Sets with SAT
An Expansion-Based Approach for Quantified Integer Programming
Approximated Consistency for the Automatic Recording Problem
Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
Breaking Symmetries with RootClique and LexTopSort
An Auditable Constraint Programming Solver
Core-Guided Model Reformulation
Edge Matching Puzzles as Hard SAT/CSP Benchmarks
On Quantitative Testing of Samplers
On Maximum Weight Clique Algorithms, and How They Are Evaluated
Database Constraints and Homomorphism Dualities
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks
FastMapSVM for Predicting CSP Satisfiability
Dynamic Management of Heuristics for Solving Structured CSPs
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization
Dichotomic Search Protocols for Constrained Optimization
Dynamic Ordering for Asynchronous Backtracking on DisCSPs
Closure Functions and Width 1 Problems
Constraint Programming Models for Chosen Key Differential Cryptanalysis
Incorporating Variance in Impact-Based Search
The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach
A Wealth of SAT Distributions with Planted Assignments
Exploring Chemistry Using SMT
Constraint Programming Models for Graceful Graphs
Solving Non-binary CSPs Using the Hidden Variable Encoding
Dual Models of Permutation Problems
Including Soft Global Constraints in DCOPs
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint
The Computational Complexity of Disconnected Cut and 2K 2-Partition
An Empirical Study of Optimization for Maximizing Diffusion in Networks
Strong Controllability of Disjunctive Temporal Problems with Uncertainty
Generating Random Logic Programs Using Constraint Programming
CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration.
Visopt ShopFloor: On the Edge of Planning and Scheduling
Consistency Maintenance for ABT
Pseudo-Tree-Based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds
Lifting Structural Tractability to CSP with Global Constraints
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions
A Global Constraint for Closed Frequent Pattern Mining
Searching for Smallest Universal Graphs and Tournaments with SAT
On Query Languages for Linear Queries Definable with Polynomial Constraints
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables
Algebraic Properties of CSP Model Operators
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation
The Effect of Asynchronous Execution and Message Latency on Max-Sum
Variable Independence and Resolution Paths for Quantified Boolean Formulas
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers
Relation Variables in Qualitative Spatial Reasoning
The Unary Resource with Transition Times
A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling
On Termination of Constraint Logic Programs
Learning Max-CSPs via Active Constraint Acquisition
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search
The Rough Guide to Constraint Propagation
DynamicSAT: Dynamic Configuration Tuning for SAT Solving
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets
Efficient Strategies for (Weighted) Maximum Satisfiability
Parallelizing Constraint Programs Transparently
Dynamic Lex Constraints
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT
Counterfactual Explanations via Inverse Constraint Programming
Counting Satisfiable k-CNF Formulas