yusuke1997/dblp-id-title huggingface dataset:
Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach
Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density
abstractXOR: A global constraint dedicated to differential cryptanalysis
Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres
Robust and Parallel Solving of a Network Design Problem
Sports League Scheduling: Enumerative Search for Prob026 from CSPLib
Resolution and Constraint Satisfaction
Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints
A General Extension of Constraint Propagation for Constraint Optimization
MaxRPC Algorithms Based on Bitwise Operations
Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT
Applying Decomposition Methods to Crossword Puzzle Problems
Proving Symmetries by Model Transformation
Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling
Towards Semi-Automatic Learning-Based Model Transformation
Explaining Propagators for Edge-Valued Decision Diagrams
Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
Range-Based Algorithm for Max-CSP
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints
Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling
Solving the Group Cumulative Scheduling Problem with CPO and ACO
Bounds of Graph Characteristics
Online Selection of Quorum Systems for RAMBO Reconfiguration
Heuristic Constraint Propagation
Integer and Constraint Programming for Batch Annealing Process Planning
Constraint-Based Verification of Client-Server Protocols
Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains
Solving QBF with Free Variables
On the Sum Constraint: Relaxation and Applications
Coalition Structure Generation Utilizing Compact Characteristic Function Representations
A SAT-Based Approach to Multiple Sequence Alignment
Conditional Symmetry Breaking
Residential Demand Response under Uncertainty
Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling
Approximability of Integer Programming with Generalised Constraints
Tractability by Approximating Constraint Languages
Tractable Combinations of Global Constraints
Functional Synthesis with Examples
Toy(FD): Sketch of Operational Semantics
Dependency Schemes in QBF Calculi: Semantics and Soundness
Trimming Graphs Using Clausal Proof Optimization
Improving Backtrack Search for Solving the TCSP
Groupoids and Conditional Symmetry
Meta-complexity Theorems: Talk Abstract
Compiling Finite Linear CSP into SAT
Dual Hashing-Based Algorithms for Discrete Integration
Analysis of Random Noise and Random Walk Algorithms
Lookahead Saturation with Restriction for SAT
Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques
Approximated Consistency for Knapsack Constraints
Generalizing AllDifferent: The SomeDifferent Constraint
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm
A New Hybrid Tractable Class of Soft Constraint Problems
Automated Search for Heuristic Functions
Observation of Constraint Programs
Solving the Salinity Control Problem in a Potable Water System
clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming
Generalized Arc Consistency for Positive Table Constraints
Consistency Techniques in Ordinary Differential Equations
Machine Learning for Portfolio Selection Using Structure at the Instance Level
Early Projection in CLP(R)
From Quasi-Solutions to Solution: An Evolutionary Algorithm to Solve CSP
Optimal Pruning in Parametric Differential Equations
Useful Explanations
Guiding Backtrack Search by Tracking Variables During Constraint Propagation
Contingency Plans for Air Traffic Management
Some Observations on Durations, Scheduling and Allen's Algebra
Privacy-Preserving SAT Solving (Invited Talk)
A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP
New Tractable Classes from Old
Factor Analytic Studies of CSP Heuristics
Consistency for Quantified Constraint Satisfaction Problems
Resolution Complexity of Random Constraints
Reformulation Based MaxSAT Robustness - (Extended Abstract)
Collaborative Learning for Constraint Solving
Plotting: A Planning Problem with Complex Transitions
From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs
Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints
From Restricted Path Consistency to Max-Restricted Path Consistency
Using Resolution Proofs to Analyse CDCL Solvers
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support
Tradeoffs in the Complexity of Backdoor Detection
Structured Set Variable Domains in Bayesian Network Structure Learning
Propagating Regular Membership with Dashed Strings
Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
Training Binarized Neural Networks Using MIP and CP
A Unified Framework for Interval Constraints and Interval Arithmetic
Local Search with Maximal Independent Sets
Process Plant Layout Optimization: Equipment Allocation
Revisiting the Sequence Constraint
Revisiting the Cardinality Reasoning for BinPacking Constraint
Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra
All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems
A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles
Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations
Encoding Linear Constraints into SAT
Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings
Optimal Placement of Base Stations in Wireless Indoor Telecommunication
Case Study: Constraint Programming in a System Level Synthesis Framework
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles
PLASMA: A Constraint Based Planning Architecture
Solving Patience and Solitaire Games with Good Old Fashioned AI (Invited Talk)
Isomorphisms Between STRIPS Problems and Sub-Problems
On the Tractability of Explaining Decisions of Classifiers
Joint Vehicle and Crew Routing and Scheduling
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths
Asynchronous Forward Bounding Revisited
Solving the Agile Earth Observation Satellite Scheduling Problem with CP and Local Search
Complications for Computational Experiments from Modern Processors
Minimising Decision Tree Size as Combinatorial Optimisation
Constraint-Based Agents: The ABC's of CBA's
HADDOCK: A Language and Architecture for Decision Diagram Compilation
Combinatorial Search in CP-Based Iterated Belief Propagation
Global Inverse Consistency for Interactive Constraint Satisfaction
On Optimal Correction of Inconsistent Linear Constraints
Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization
Constraint Programming for Modelling and Solving Modal Satisfability
Scheduling of Mobile Robots Using Constraint Programming
Protein Structure Prediction with Large Neighborhood Constraint Programming Search
Impact-Based Search Strategies for Constraint Programming
Scaling Properties of Pure Random Walk on Random 3-SAT
Beyond Hypertree Width: Decomposition Methods Without Decompositions
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms
Propagation Redundancy in Redundant Modelling
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
A Job Dispatcher for Large and Heterogeneous HPC Systems Running Modern Applications
Reformulation Techniques for a Class of Permutation Problems
Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem
Automatic Streamlining for Constrained Optimisation
Planning and Scheduling the Operation of a Very Large Oil Pipeline Network
Modelling and Solving Multi-mode Resource-Constrained Project Scheduling
Hierarchically Nested Convex VCSP
Boolean Equi-propagation for Optimized SAT Encoding
Guarded Constructive Disjunction: Angel or Demon?
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation
Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots
Eigenvector Centrality in Industrial SAT Instances
Solving Nurse Rostering Problems Using Soft Global Constraints
Minimum-Width Confidence Bands via Constraint Optimization
Adaptive Parameterized Consistency
Postponing Optimization to Speed Up MAXSAT Solving
CSPs with Few Alien Constraints
Computing the Envelope for Stepwise-Constant Resource Allocations
The Tractability of Global Constraints
Generic Constraint-Based Block Modeling Using Constraint Programming
Generating Robust Partial Order Schedules
Four-Bar Linkage Synthesis Using Non-convex Optimization
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks
Encoding Requests to Web Service Compositions as Constraints
Some Surprising Regularities in the Behaviour of Stochastic Local Search
Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs)
Randomness as a Constraint
Weibull-Based Benchmarks for Bin Packing
Global Grammar Constraints
A Relaxation of the Cumulative Constraint
Constraint Satisfaction in Semi-structured Data Graphs
Applying Interchangeability Techniques to the Distributed Breakout Algorithm
A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems
Sensitivity Analysis in CSPs
A Linear Time Algorithm for the k-Cutset Constraint
CP Models for Maximum Common Subgraph Problems
Optimising the Representation and Evaluation of Semiring Combination Constraints
Linear Formulation of Constraint Programming Models and Hybrid Solvers
Boosting Local Search with Artificial Ants
Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row
Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms
Constraint Programming with External Worst-Case Traversal Time Analysis
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming
Symmetry Breaking Ordering Constraints
Modeling Universal Instruction Selection
Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings
Watching Clauses in Quantified Boolean Formulae
Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming
Directed Arc Consistency Preprocessing
An Improved Search Algorithm for Min-Perturbation
Quantified Constraint Optimization
Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem
An Adaptive Controller for Real-Time Resolution of the Vehicle Routing Problem
An Elimination Algorithm for Functional Constraints
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search
The Adaptive Constraint Engine
NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models
Programming Robotic Devices with a Timed Concurrent Constraint Language
SolverCheck: Declarative Testing of Constraints
Understanding, Improving and Parallelizing MUS Finding Using Model Rotation
Restart Policies with Dependence among Runs: A Dynamic Programming Approach
A Composition Algorithm for Very Hard Graph 3-Colorability Instances
Thinking Fast and Slow in AI: A Cognitive Architecture to Augment Both AI and Human Reasoning (Invited Talk)
Using Constraint Propagation for Complex Scheduling Problems: Managing Size, Complex Resources and Travel
Constrained Minimum Sum of Squares Clustering by Constraint Programming
Towards a Generic Interval Solver for Differential-Algebraic CSP
The StockingCost Constraint
Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization
The Proper Treatment of Undefinedness in Constraint Languages
Boosting Probabilistic Choice Operators
Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type
Approximate Solution Sampling (and Counting) on AND/OR Spaces
Solving the MOLR and Social Golfers Problems
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions
Generating Linear Invariants for a Conjunction of Automata Constraints
A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine
Towards Effective Deep Learning for Constraint Satisfaction Problems
Scalable Parallel Numerical CSP Solver
GA-easy and GA-hard Constraint Satisfaction Problems
The Many Paths to Satisfaction
Integration of Structural Constraints into TSP Models
Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams
Scheduling Social Tournaments
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
Integrating Search Objects in Asynchronous Constraint Solving
A Composistional Theory of Constraint Hierarchies
Beyond Finite Domains: The All Different and Global Cardinality Constraints
RPID: Rust Programmable Interface for Domain-Independent Dynamic Programming
Indexical-Based Solver Learning
Constraint-Based Lagrangian Relaxation
A Note on Partial Consistencies over Continuous Domains
Exploiting Counterfactuals for Scalable Stochastic Optimization
Complexity-Theoretic Aspects for Programming Language Design
Containment, Equivalence and Coreness from CSP to QCSP and Beyond
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k -Dimensional Objects
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings
Design and Evaluation of a Constraint-Based Energy Saving and Scheduling Recommender System
Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms
Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration
High-Level Modelling and Reformulation of Constraint Satisfaction Problems
Partial Arc Consistency
GAC on Conjunctions of Constraints
Parallel Discrepancy-Based Search
Structural Tractability of Enumerating CSP Solutions
High-Level Constraints over Finite Domains
The Impact of Wireless Communication on Distributed Constraint Satisfaction
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints
Solving Non-binary Convez CSPs in Continous Domains
A New Empirical Study of Weak Backdoors
The Logic of Search Algorithms: Theory and Applications
Automatic Generation of Constraints for Partial Symmetry Breaking
Cost-Based Filtering for Shorter Path Constraints
Box Constraint Collections for Adhoc Constraints
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk)
To Guess or to Think? Hybrid Algorithms for SAT (Extended Abstract)
Lower Bounds for Non-binary Constraint Optimization Problems
Local Consistency in Weighted CSPs and Inference in Max-SAT
Automatic Generation of Invariants and Assertions
Improving GSAT Using 2SAT
Constrained Dependencies
Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs)
Towards Stochastic Constraint Programming: A Study of Online Multi-choice Knapsack with Deadlines
A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants
Weisfeiler-Leman Invariant Promise Valued CSPs
Optimising Training for Service Delivery
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems
A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs
Functional Constrain Hierarchies in CLP
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists
A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation
A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint
Constraint-Based Program Reasoning with Heaps and Separation
Unrestricted Nogood Recording in CSP Search
Metamorphic Testing of Constraint Solvers
An Efficient Model and Strategy for the Steel Mill Slab Design Problem
Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings
Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation
CSP LIB : A Benchmark Library for Constraints
Clause Learning and New Bounds for Graph Coloring
Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search
Constraining Redundancy to Improve Protein Docking
Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports
Solving Simple Planning Problems with More Inference and No Search
Tree Decomposition with Function Filtering
Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
Deterministic Estimation of the Expected Makespan of a POS Under Duration Uncertainty
Constraint-Based Approaches for Balancing Bike Sharing Systems
Relating Proof Complexity Measures and Practical Hardness of SAT
An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks
An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search
Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems
Understanding Random SAT: Beyond the Clauses-to-Variables Ratio
A CP/LS Heuristic Method for Maxmin and Minmax Location Problems with Distance Constraints
Challenges for Constraint Reasoning and Optimization in Computational Sustainability
AC-Unification of Higher-Order Patterns
Pruning while Sweeping over Task Intervals
Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs
Tree Local Search
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Improving the Performance of maxRPC
A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining
Dealing with Incomplete Preferences in Soft Constraint Problems
An Improved GPU-Based SAT Model Counter
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming
A CLP Approach to the Protein Side-Chain Placement Problem
Boosting Search with Variable Elimination
Tabu Search for Maximal Constraint Satisfaction Problems
Structural Tractability of Propagated Constraints
Beyond Optimal Solutions for Real-World Problems (Invited Talk)
Addressing Problem Drift in UNHCR Fund Allocation
Deriving Filtering Algorithms from Constraint Checkers
A Global Constraint Combining a Sum Constraint and Difference Constraints
Checking-Up on Branch-and-Check
Tuning Randomization in Backtrack Search SAT Algorithms
Automatic Generation of Propagation Rules for Finite Domains
Cost-Based Domain Filtering
Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems
Constraint-Based Graph Matching
Failure Based Variable Ordering Heuristics for Solving CSPs (Short Paper)
Characterizing SAT Problems with the Row Convexity Property
Strong Cost-Based Filtering for Lagrange Decomposition Applied to Network Design
A Brief Overview of Over-Constrained Systems
The Comet Programming Language and System
Optimization of Simple Tabular Reduction for Table Constraints
Towards More Efficient Local Search for Pseudo-Boolean Optimization
Automated Random Testing of Numerical Constrained Types
Reward Potentials for Planning with Learned Neural Network Transition Models
Speeding Up Constrained Path Solvers with a Reachability Propagator
Beyond Consistency and Substitutability
Using Case-Based Reasoning to Write Constraint Programs
Situated Simplification
A Large Neighboring Search Schema for Multi-agent Optimization
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience
Local and Global Relational Consistency
A Constraint Store Based on Multivalued Decision Diagrams
Generating Corrective Explanations for Interactive Constraint Satisfaction
Dimensioning an Inbound Call Center Using Constraint Programming
Design Tradeoffs for Autonomous Trading Agents
Adding Search to Zinc
An Investigation of Generic Approaches to Large Neighbourhood Search (Short Paper)
Binary Constraint Trees and Structured Decomposability
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
Combining Clause Learning and Branch and Bound for MaxSAT
A Web-Based Meeting Scheduling Solver With Privacy Guarantees, Without Trusted Servers
Speeding Up Constraint Propagation
Automated Symmetry Breaking and Model Selection in Conjure
A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork
Dead-End Elimination for Weighted CSP
Two Clause Learning Approaches for Disjunctive Scheduling
Synthesis of Search Algorithms from High-Level CP Models
Interactive Tradeoff Generation
Automatically Generating Streamlined Constraint Models with Essence and Conjure
Improved Linearization of Constraint Programming Models
A Constraint Seeker: Finding and Ranking Global Constraints from Examples
On Broken Triangles
Heuristics for Planning with SAT
A Complete Characterization of Complexity for Boolean Constraint Optimization Problems
Aircraft Assignment Using Constraint Programming
Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination (Short Paper)
A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container
Latency-Aware 2-Opt Monotonic Local Search for Distributed Constraint Optimization
Cost-Based Domain Filtering for Stochastic Constraint Programming
Design of a New Metaheuristic for MAXSAT Problems
CLP in ECRC
Solving 'Still Life' with Soft Constraints and Bucket Elimination
Structured vs. Unstructured Large Neighborhood Search: A Case Study on Job-Shop Scheduling Problems with Earliness and Tardiness Costs
Formal Models of Heavy-Tailed Behavior in Combinatorial Search
Oscillation, Heuristic Ordering and Pruning in Neighborhood Search
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming
A Structural Characterization of Temporal Dynamic Controllability
On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs
Understanding the Empirical Hardness of Random Optimisation Problems
Perfect Derived Propagators
A New Multi-resource cumulatives Constraint with Negative Heights
A Faster Exact Algorithm to Count X3SAT Solutions
Analysis of Hybrid Systems in CLP(R)
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations
Excluding Symmetries in Constraint-Based Search
Fuzzifying the Constraint Hierarchies Framework
Advisors for Incremental Propagation
A Bounded Path Propagator on Directed Graphs
Computing the Frequency of Partial Orders
Heavy-Tailed Distributions in Combinatorial Search
Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings
CP-Based Local Branching
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs
A Language for Audiovisual Template Specification and Recognition
Learning from Learning Solvers
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics
Maintaining Dominance Consistency
Alternate Modeling in Sport Scheduling
Incremental QBF Solving
Finding Alternative Musical Scales
Parallel Strategies Selection