yusuke1997/dblp-id-title huggingface dataset:
Generating High Quality Schedules for a Spacecraft Memory Downlink Problem
The Cardinality Matrix Constraint
A Pseudo-Boolean Set Covering Machine
Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms
GENIUS-CP: a Generic Single-Vehicle Routing Algorithm
Assembly Line Preliminary Design Optimization for an Aircraft
Network Flow Problems in Constraint Programming
Slice Encoding for Constraint-Based Planning
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario
A Branch and Bound Algorithm for Numerical MAX-CSP
Heuristics for the Distributed Breakout Algorithm
Solving Disjunctive Constraints for Interactive Graphical Applications
A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper)
A Constraint-Based Approach to the Differential Harvest Problem
On Tree-Preserving Constraints
A Modular Architecture for Hybrid Planning with Theories
Search Space Extraction
The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition
Soft Constraints: Complexity and Multimorphisms
The Objective-CP Optimization System
On Maximal Frequent Itemsets Mining with Constraints
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators
Subnet Generation Problem: A New Network Routing Problem
MaxSAT-Based Postprocessing for Treedepth
Tight Cooperation and Its Application in Piecewise Linear Optimization
Multi-League Sports Scheduling with Team Interdependencies: An Optimization Model
Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks
Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker
Full Dynamic Substitutability by SAT Encoding
A Nearly Exact Propagation Algorithm for Energetic Reasoning in \mathcal O(n^2 \log n)
A Hybrid Approach for SAT
A k-Opt Based Constraint for the TSP
Algorithms for Stochastic CSPs
Improved Algorithm for Finding (a, b)-Super Solutions
Anytime Weighted Model Counting with Approximation Guarantees for Probabilistic Inference
Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract)
Scheduling Multi-capacitated Resources Under Complex Temporal Constraints
Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure
The Log-Support Encoding of CSP into SAT
Inner and Outer Approximations of Existentially Quantified Equality Constraints
Distributed Constrained Search by Selfish Agents for Efficient Equilibria
Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets
Solver-Independent Large Neighbourhood Search
Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem
An Algebraic Characterisation of Complexity for Valued Constraint
Compiling Constraint Solving using Projection
Robustness and Stability in Constraint Programming under Dynamism and Uncertainty - (Extended Abstract)
On Testing Constraint Programs
Searching for Doubly Self-orthogonal Latin Squares
Understanding and Improving the MAC Algorithm
Compiling Semiring-Based Constraints with clp (FD, S)
Interval Methods for Non-linear Constraints
Min-Domain Ordering for Asynchronous Backtracking
Scheduling Conditional Task Graphs
Morphing Between Stable Matching Problems
A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics
CoJava: A Unified Language for Simulation and Optimization
Operations Research and Constraint Programming at Google
Exact Approaches to the Multi-agent Collective Construction Problem
Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation
Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
Comparing Solution Methods for the Machine Reassignment Problem
Constraint Logic Programming over Unions of Constraint Theories
Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution
Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems
CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction
Caching Search States in Permutation Problems
Statistical Analysis of Backtracking on Inconsistent CSPs
Search Programming
Localizer: A Modeling Language for Local Search
Exploiting Configurations of MaxSAT Solvers
Capturing Structure with Satisfiability
Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization
Applying Constraint Programming to Rigid Body Protein Docking
Human-Centred Feasibility Restoration
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems
Discrepancy-Based Additive Bounding for the AllDifferent Constraint
The p-Dispersion Problem with Distance Constraints
(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability
Loop Untangling
Pin Assignment Using Stochastic Local Search Constraint Programming
Towards the Systematic Generation of Channelling Constraints
Statistical Modelling of CSP Solving Algorithms Performance
Local Probing Applied to Scheduling
Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers
Preprocessing QBF
AND/OR Multi-valued Decision Diagrams for Constraint Optimization
Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning
Interval Constraints with Learning: Application to Air Traffic Control
AND/OR Search Spaces and the Semantic Width of Constraint Networks
Tractable Disjunctive Constraints
Programming with TOY(FD)
The CHIP System and Its Applications
SALSA: A Language for Search Algorithms
Speeding Up Constraint Propagation By Redundant Modeling
Constraint Representation for Propagation
Bounding the Optimum of Constraint Optimization Problems
CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions
The Theory of Grammar Constraints
Computing the Density of States of Boolean Formulas
Upper and Lower Bounds on the Time Complexity of Infinite-Domain CSPs
Anytime Temporal Reasoning: Preliminary Report (Extended Abstract)
Optimum Symmetry Breaking in CSPs Using Group Theory
Using Constraints for Exploring Catalogs
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search
A Generic Method for Identifying and Exploiting Dominance Relations
New Search Heuristics for Max-CSP
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry
Improved Bounded Max-Sum for Distributed Constraint Optimization
Breaking Symmetries in Graphs: The Nauty Way
Dependency-Curated Large Neighbourhood Search
Multistep Filtering Operators for Ordinary Differential Equations
Perturbing Branching Heuristics in Constraint Solving
Propagating the Bin Packing Constraint Using Linear Programming
Bounds-Consistent Local Search
A Constraint Programming Approach to Ship Refit Project Scheduling
Using Constraint Programming for Solving Distance CSP with Uncertainty
The Minimum Spanning Tree Constraint
Parallelization of TSP Solving in CP
Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O ( kn log n ){\mathcal O}(kn {\rm log} n)
The Role of Redundant Clauses in Solving Satisfiability Problems
Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems
Reasoning by Dominance in Not-Equals Binary Constraint Networks
Inferring Variable Conflicts for Local Search
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers
Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries
Towards a More Efficient Stochastic Constraint Solver
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint
BFS-Based Canonical Codes for Generating Graphs with Constraint Programming
Efficient Constraint Propagation With Good Space Complexity
Length-Lex Bounds Consistency for Knapsack Constraints
Constrained Wine Blending
Look-Ahead Versus Look-Back for Satisfiability Problems
Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search
Increasing Symmetry Breaking by Preserving Target Symmetries
Constraints over Ontologies
Hull Consistency under Monotonicity
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots
Extending Super-solutions
Encodings for Enumeration-Based Program Synthesis
Planning and Scheduling to Minimize Tardiness
Multi-point Constructive Search
Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings
An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions
Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability
Algorithms and Constraint Programming
Orchestrating Satisfiability Engines
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
Understanding How People Approach Constraint Modelling and Solving
Lazy Clause Generation Reengineered
Analyzing Lattice Point Feasibility in UTVPI Constraints
Constraint Programming and Industrial Applications
Optimization for Policy Making: The Cornerstone for an Integrated Approach
Search Strategies for Rectangle Packing
Partial Stable Generated Models of Generalized Logic Programs with Constraints
From Model-Checking to Temporal Logic Constraint Solving
CSP Beyond Tractable Constraint Languages
Automated Mechanism Design: A New Application Area for Search Algorithms
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques
Constructive Interval Disjunction
Dynamic Variable Ordering in CSPs
Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains
Model Restarts for Structural Symmetry Breaking
A Note on Low Autocorrelation Binary Sequences
Non-systematic Search and Learning: An Empirical Study
A test for Tractability
The CP-SAT-LP Solver (Invited Talk)
A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem
OWL: A Description Logic Based Ontology Language
An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT
Those Who Cannot Remember the Past Are Condemned to Repeat It
Tractable Recursion over Geometric Data
A Constraint Based Approach to Cyclic RCPSP
Finding Solvable Subsets of Constraint Graphs
Interval Analysis and Robotics
To Be or Not to Be ... a Global Constraint
Space-Time Tradeoffs for the Regular Constraint
Refining Restarts Strategies for SAT and UNSAT
CP for Bin Packing with Multi-Core and GPUs
Structural Tractability of Constraint Optimization
Optimizing the Cloud Service Experience Using Constraint Programming
Ad-hoc Global Constraints for Life
Symmetry and Consistency
Statistical Comparison of Algorithm Performance Through Instance Selection
General Symmetry Breaking Constraints
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming
Decide Different!
Open Packing for Facade-Layout Synthesis Under a General Purpose Solver
Using Constraint Programming to Solve the Maximum Clique Problem
On SAT01 Problem
Using Bidirectionality to Speed up Arc-Constistency Processing
Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
Constraint Programming Approach to the Problem of Generating Milton Babbitt's All-Partition Arrays
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
Counting, Structure Identification and Maximum Consistency for Binary Constraint Satisfaction Problems
Computing All Optimal Solutions in Satisfiability Problems with Preferences
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination
The Multirate Resource Constraint
A CP Approach for the Liner Shipping Network Design Problem
A New Encoding from MinSAT into MaxSAT
Multi-Objective Constraint Optimization with Tradeoffs
A Constraint on the Number of Distinct Vectors with Application to Localization
A New Characterization of Relevant Intervals for Energetic Reasoning
A Dynamic Restart Strategy for Randomized BT Search
Constraint Acquisition Based on Solution Counting
Adaptive Enterprise Optimization Framework: AEO Server and AEO Studio
Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource
MDD Archive for Boosting the Pareto Constraint
A Systematic Approach to MDD-Based Constraint Programming
Search Heuristics and Heavy-Tailed Behaviour
A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks
Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract)
Control Abstractions for Local Search
Distributed Dynamic Backtracking
Recent Hybrid Techniques for the Multi-Knapsack Problem
Phase Transition Behavior in Knowledge Compilation
Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing
Constraints for Breaking More Row and Column Symmetries
Inferring Constraint Types in Constraint Programming
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation
A Modeling Framework for Constraints
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
Proof Logging for Smart Extensional Constraints
HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care
A Constraint Programming Approach for the Traveling Purchaser Problem
Combination of Constraint Systems II: Rational Amalgamation
Streamlined Constraint Reasoning
Randomization in Constraint Programming for Airline Planning
Safe Stratified Datalog with Integer Order Programs
Semantic Decomposition for Solving Distance Constraints
Constrained-Based Problem Decomposition for a Key Configuration Problem
Finding Solutions by Finding Inconsistencies
Open Constraint Programming
Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference
Implementing Global Constraints with Index-Sets and Constraint Templates
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Properties of Energy-Price Forecasts for Scheduling
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms
SAT v CSP
Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic
Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
Approximate Compilation of Constraints into Multivalued Decision Diagrams
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle
A New Approach for Weighted Constraint Satisfaction: Theoretical and Computational Results
Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems
Constraint Programming for Controller Synthesis
Models for Radiation Therapy Patient Scheduling
View-Based Propagator Derivation - (Extended Abstract)
Balancing Latin Rectangles with LLM-Generated Streamliners
Normalizing Narrowing for Weakly Terminating and Confluent Systems
Debugging Constraint Programs
Realtime Online Solving of Quantified CSPs
An SMT Approach to Fractional Hypertree Width
A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure
A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint
Models of Injection Problems
Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing
Integrating Benders Decomposition Within Constraint Programming
Dynamic Constraint Satisfaction with Conflict Management in Design
A New Algorithm for Sampling CSP Solutions Uniformly at Random
Propagation in CSP and SAT
What Is Symbolic Computation?
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers
A Bound-Independent Pruning Technique to Speeding up Tree-Based Complete Search Algorithms for Distributed Constraint Optimization Problems
Efficient Application of Max-SAT Resolution on Inconsistent Subsets
Operational Semantics and Confluence of Constraint Propagation Rules
Simplifying Step-Wise Explanation Sequences
One Flip per Clock Cycle
Combining Hill Climbing and Forward Checking for Handling Disjunctive Constraints
Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems
The Goldilocks Problem
Domain Independent Ask Approximation in CCP
Continuous Casting Scheduling with Constraint Programming
Utilizing Constraint Optimization for Industrial Machine Workload Balancing
Building High Strength Mixed Covering Arrays with Constraints
A Relational Constraint Solver for Model-Based Engineering
Groups and Constraints: Symmetry Breaking during Search
A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems
On Redundancy in Constraint Satisfaction Problems
Test Strategy Generation Using Quantified CSPs
Minimizing Cumulative Batch Processing Time for an Industrial Oven Scheduling Problem
Model-Driven Visualizations of Constraint-Based Local Search
Approximations in Distributed Optimization
Languages versus Packages for Constraint Problem Solving
Job Sequencing Bounds from Decision Diagrams
Closing the Open Shop: Contradicting Conventional Wisdom
Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
A Declarative Paradigm for Robust Cumulative Scheduling
Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints
Scheduling Optional Tasks with Explanation
Solving Classes of Set Constraints with Tree Automata
Adaptive Bisection of Numerical CSPs
CNF Encodings of Binary Constraint Trees
Random Stimuli Generation for Functional Hardware Verification as a CP Application
Solving a Supply-Delivery Scheduling Problem with Constraint Programming
On the Structure of Industrial SAT Instances
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Anytime Lower Bounds for Constraint Violation Minimization Problems
The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk)
Specializing Russian Doll Search
Partition-Based Lower Bound for Max-CSP
Adaptive Solving of Equations over Rational Trees
A Box-Consistency Contractor Based on Extremal Functions
One Problem, Two Structures, Six Solvers, and Ten Years of Personnel Scheduling
The G12 Project: Mapping Solver Independent Models to Efficient Solutions
An Optimizing Compiler for CLP(R)
Symmetry Breaking in Graceful Graphs
On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach
Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings
among Implied Constraints for Two Families of Time-Series Constraints
Logical Semantics of Concurrent Constraint Programming
PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining
Breaking Variable Symmetry in Almost Injective Problems
The Balance Constraint Family
Connecting ABT with Arc Consistency
Relaxations for Compiled Over-Constrained Problems
Comparing SAT Encodings for Model Checking
Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization
Extremal CSPs
Graph Invariants as Necessary Conditions for Global Constraints
An Optimization Model for 3D Pipe Routing with Flexibility Constraints
Improved Algorithms for Max-restricted Path Consistency
Long-Term Learning for Algorithm Control
Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings
Availability Optimization in Cloud-Based In-Memory Data Grids
Greed Is Slow on Sparse Graphs of Oriented Valued Constraints
Constraint Diagram Reasoning
Quantified Valued Constraint Satisfaction Problem
On Constraint Problems with Incomplete or Erroneous Data
SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features
General Bounding Mechanism for Constraint Programs
Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination
An Efficient and Uniform CSP Solution Generator Generator
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem
Path Consistency by Dual Consistency
Set Constraints: A Pearl in Research on Constraints
Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification
Efficient CNF Encoding of Boolean Cardinality Constraints
Revisiting Neighborhood Inverse Consistency on Binary CSPs
The Brélaz Heuristic and Optimal Static Orderings
Reduced Cost-Based Ranking for Generating Promising Subproblems
Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach
On Forward Checking for Non-binary Constraint Satisfaction
Modelling Exceptionally Hard Constraint Satisfaction Problems
Strengthening Neighbourhood Substitution
Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights
Transformations Between HCLP and PCSP
Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems
Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector
GOOSE - A Generic Object-Oriented Search Environment
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
A New Approach to Solving SAT-Encoded Binary CSPs
A Framework for Assertion-Based Debugging in Constraint Logic Programming
Models and Strategies for Variants of the Job Shop Scheduling Problem
Teaching Constraint Programming
All Questions Answered (Invited Talk)
Tractable Clones of Polynomials over Semigroups
CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games
Graph Properties Based Filtering
Classifying and Propagating Parity Constraints
Challenges for Constraint Programming in Networking
Conflict Ordering Search for Scheduling Problems
Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity
Softly Constrained CP Nets
Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)
Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions
SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability
Experiences with Combining Constraint Programming and Discrete Event Simulation
Frugal Algorithm Selection (Short Paper)