yusuke1997/dblp-id-title huggingface dataset:
Lagrangian bounds from decision diagrams
Multiset variable representations and constraint propagation
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Solving Mixed and Conditional Constraint Satisfaction Problems
Complexity of minimum-size arc-inconsistency explanations
Using constraint programming for solving RCPSP/max-cal
MiniBrass: Soft constraints for MiniZinc
Constraint-Based Facial Animation
Reformulation of Global Constraints Based on Constraints Checkers
Random Constraint Satisfaction: Flaws and Structure
An overview of parallel SAT solving
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers
A Cost-Regular Based Hybrid Column Generation Approach
Using dual presolving reductions to reformulate cumulative constraints
Optimal and efficient filtering algorithms for table constraints
Constraint Programming: Strategic Directions
Counting QBF solutions at level two
Introduction to the Special Issue on Bioinformatics and Constraints
Learning optimal decision trees using constraint programming
Constraint programming approaches to electric vehicle and robot routing problems
Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
New filtering for AtMostNValue and its weighted variant: A Lagrangian approach
Structural decompositions for problems with global constraints
Cost-Based Arc Consistency for Global Cardinality Constraints
Maintaining Global Integrity Constraints in Distributed Databases
Dynamic structural symmetry breaking for constraint satisfaction problems
Deep neural networks and mixed integer linear optimization
Solving satisfiability problems with preferences
A constraint programming approach to the additional relay placement problem in wireless sensor networks
Constraint-directed search for all-interval series
What is answer set programming to propositional satisfiability
Using Constraint Propagation to Reason about Unsynchronized Clocks
Compiling CP subproblems to MDDs and d-DNNFs
Spacetime programming: a synchronous language for constraint search
Fast, flexible MUS enumeration
Introduction to the special issue on quantified CSPs and QBF
A feature commonality-based search strategy to find high t-wise covering solutions in feature models
From MDD to BDD and Arc consistency
Graphical models for optimal power flow
Breaking symmetries in graph search with canonizing sets
Computing relaxations for the three-dimensional stable matching problem with cyclic preferences
Formal languages for integer programming modeling of shift scheduling problems
A global constraint for over-approximation of real-time streams
A Constraint-Based Approach to Fast and Exact Structure Prediction in Three-Dimensional Protein Models
LS(Graph): a constraint-based local search for constraint optimization on trees and paths
A New Approach for Weighted Constraint Satisfaction
Domain reduction techniques for global NLP and MINLP optimization
Global Constraint Catalogue: Past, Present and Future
Intruder alert! Optimization models for solving the mobile robot graph-clear problem
Optimization methods based on decision diagrams for constraint programming, AI planning, and mathematical programming
Applying constraint programming to minimal lottery designs
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
On a new extension of BTP for binary CSPs
Improved filtering for the bin-packing with cardinality constraint
Temporal Constraints: A Survey
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language
Solution sampling with random table constraints
Domain Specific High-Level Constraints for User Interface Layout
Variable ordering for decision diagrams: A portfolio approach
Robustness and stability in dynamic constraint satisfaction problems
Theoretical insights and algorithmic tools for decision diagram-based optimization
Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem
Floating-point numbers round-off error analysis by constraint programming
Graph coloring inequalities from all-different systems
Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example
Asynchronous Forward-checking for DisCSPs
Propagation techniques of resource constraint for cumulative scheduling
Constraint programming for planning test campaigns of communications satellites
Plotting: a case study in lifted planning with constraints
A method for detecting symmetries in constraint models and its generalisation
A Foundation of Solution Methods for Constraint Hierarchies
On Algorithm Selection, with an application to combinatorial search problems
Nogood-based asynchronous forward checking algorithms
Learning the travelling salesperson problem requires rethinking generalization
Scheduling scientific experiments for comet exploration
On the hardness of solving edge matching puzzles as SAT or CSP problems
On Topological Consistency and Realization
SmartClients: Constraint Satisfaction as a Paradigm for Scaleable Intelligent Information Systems
Grand challenges for constraint programming
Increasing Constraint Propagation by Redundant Modeling: an Experience Report
The Design of the Zinc Modelling Language
Exploiting subproblem dominance in constraint programming
Local-search Extraction of MUSes
A hybrid tractable class for non-binary CSPs
Quantified maximum satisfiability
Extensible automated constraint modelling via refinement of abstract problem specifications
A commentary on "Hybrid search for minimal perturbation in Dynamic CSPs"
Finding a Feasible Solution for a Class of Distributed Problems with a Single Sum Constraint Using Agents
Efficient handling of universally quantified inequalities
Filtering Algorithms for the NValueConstraint
Radio Link Frequency Assignment
A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints
A self-adaptive multi-engine solver for quantified Boolean formulas
Non-local configuration of component interfaces by constraint satisfaction
Operating room management under uncertainty
Models and emerging trends of concurrent constraint programming
Towards next generation sequential and parallel SAT solvers
PSICO: Solving Protein Structures with Constraint Programming and Optimization
Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games
Strong consistencies for weighted constraint satisfaction problems
Complete Bound Consistency for the Global Cardinality Constraint
Report from the Editor in Chief, year 2015
Guided Genetic Algorithm and its Application to Radio Link Frequency Assignment Problems
The potential of quantum annealing for rapid solution structure identification
Towards statistical consistency for stochastic constraint programming
Improving Linear Constraint Propagation by Changing Constraint Representation
Special Issue on Constraint Agents
Generalized Definite Set Constraints
Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction
Cardinal: A Finite Sets Constraint Solver
A General Qualitative Framework for Temporal and Spatial Reasoning
Constraint programming approach to a bilevel scheduling problem
Inference Duality as a Basis for Sensitivity Analysis
Optimal methods for resource allocation and scheduling: a cross-disciplinary survey
Introduction to the CPAIOR 2017 fast track issue
Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups
A microkernel architecture for constraint programming
Power of pre-processing: production scheduling with variable energy pricing and power-saving states
Deriving generic bounds for time-series constraints based on regular expressions characteristics
Balancing and scheduling of flexible mixed model assembly lines
Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving
Constraint propagation on GPU: a case study for the cumulative constraint
The Protein Structure Prediction Problem: A Constraint Optimization Approach using a New Lower Bound
XCSP 3 and its ecosystem
Temporal Causal Abduction
Global domain views for expressive and cross-domain constraint programming
Prefix-projection global constraint and top-k approach for sequential pattern mining
Scheduling of Time-Triggered Real-Time Systems
Introduction to the special issue on CSP technologies in artificial intelligence
A CSP Search Algorithm with Responsibility Sets and Kernels
Learn and route: learning implicit preferences for vehicle routing
Combining restarts, nogoods and bag-connected decompositions for solving CSPs
Scheduling under Labour Resource Constraints
Modeling uncertainties with chance constraints
A Constraint-Based Approach for Deriving 3-D Structures of Cyclic Polypeptides
Extending SMT solvers with support for finite domain alldifferent constraint
An optimal arc consistency algorithm for a particular case of sequence constraint
Side-channel cryptographic attacks using pseudo-boolean optimization
The power of propagation: when GAC is enough
Invariants for time-series constraints
Fleet design optimisation from historical data using constraint programming and large neighbourhood search
CP and IP approaches to cancer radiotherapy delivery optimization
Solving subgraph isomorphism problems with constraint programming
CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning
Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling
Constraints for membership in formal languages under systematic search and stochastic local search
Constraint-based Very Large-Scale Neighborhood search
Model-driven visualizations of constraint-based local search
Using finite transducers for describing and synthesising structural time-series constraints
Symmetries, almost symmetries, and lazy clause generation
PhD theses in constraints
Hybrid optimization of vehicle routing problems
A Comparison between SAT and CSP Techniques
Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence Problem
Essence : A constraint language for specifying combinatorial problems
Constructive Negation of Arithmetic Constraints Using Dataflow Graphs
Introduction to the Special Issue on User-Interaction in Constraint Satisfaction
A Rigorous Global Filtering Algorithm for Quadratic Constraints*
Efficient filtering for the Resource-Cost AllDifferent constraint
CPBPV: a constraint-programming framework for bounded program verification
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
The Complexity of Reasoning with Global Constraints
Efficient algorithms for singleton arc consistency
Looking into the crystal-ball: a bright future for CP
Redundant modeling in permutation weighted constraint satisfaction problems
A hybrid model for a multiproduct pipeline planning and scheduling problem
From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited
New filtering algorithms for combinations of among constraints
A Tribute to Eugene Freuder
Spatio-temporal Conflict Detection and Resolution
RNA Secondary Structure Determination and Representation Based on Constraints Satisfaction
A lagrangian propagator for artificial neural networks in constraint programming
Efficient algorithms for strong local consistencies and adaptive techniques in constraint satisfaction problems
New Tractable Classes From Old
Hybrid search for minimal perturbation in Dynamic CSPs
Enabling local computation for partially ordered preferences
Parametric Sequence Alignment with Constraints
Introduction to the fast track issue for CPAIOR 2016
ℚ-bounds consistency for the spread constraint with variable mean
IBM ILOG CP optimizer for scheduling - 20+ years of scheduling with constraints at IBM/ILOG
Multi-language evaluation of exact solvers in graphical model discrete optimization
Compiling CSPs into Tree-Driven Automata for Interactive Solving
Learning Game-Specific Spatially-Oriented Heuristics
STR2: optimized simple tabular reduction for table constraints
Invariant polydiagonal subspaces of matrices and constraint programming
Identifying and Exploiting Problem Structures Using Explanation-based Constraint Programming
Revisiting restricted path consistency
Combining techniques of bounded model checking and constraint programming to aid for error localization
Redundant disequalities in the Latin Square problem
Negation as Failure as Resolution
Refined Inequalities for Stable Marriage
Constraint Models for the Covering Test Problem
Genetic Threading
Disunification in ACI 1 Theories
A Context for Constraint Satisfaction Problem Formulation Selection
From declarative models to local search
Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints
Dulmage-Mendelsohn Canonical Decomposition as a generic pruning technique
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Min-domain retroactive ordering for Asynchronous Backtracking
A Constraint Based Structure Description Language for Biosequences
Improvements of constraint programming and hybrid methods for scheduling of tests on vehicle prototypes
Encoding cardinality constraints using multiway merge selection networks
A Reinforcement Learning Approach to Interval Constraint Propagation
The flexible and real-time commute trip sharing problems
Decision support for disaster management through hybrid optimization
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
Lexicographically-ordered constraint satisfaction problems
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
Keep-Best Reproduction: A Local Family Competition Selection Strategy and the Environment it Flourishes in
Modelling Musical Structures
Constraints in Graph Drawing Algorithms
Propagation engine prototyping with a domain specific language
N -level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT
Block-coordinate descent and local consistencies in linear programming
Constraint Techniques for Authoring Multimedia Documents
Gene Freuder and the Roots of Constraint Computation
Not all FPRASs are equal: demystifying FPRASs for DNF-counting
Introduction to the Special Issue of CONSTRAINTS on Spatial and Temporal Reasoning
On the reification of global constraints
A constraint-based local search backend for MiniZinc
Non-binary quantified CSP: algorithms and modelling
Twenty Years of Constraint Programming (CP) Research
Consistency Techniques for Continuous Constraints
How efficient is a global constraint in practice? - A fair experimental framework
A Constraint-Based Robotic Soccer Team
A CP framework for testing CP
Bucket Elimination: a Unifying Framework for Processing Hard and Soft Constraints
Balancing bike sharing systems with constraint programming
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
Cooperative Resolution of Over-Constrained Information Requests
View-based propagation of decomposable constraints
A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
Application of Relational Interval Arithmetic to Computer Performance Analysis: a Survey
A constraint-based approach to learn temporal features on action models from multiple plans
Iterative and core-guided MaxSAT solving: A survey and assessment
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
An algorithm-independent measure of progress for linear constraint propagation
Auto-tabling for subproblem presolving in MiniZinc
An interdisciplinary experimental evaluation on the disjunctive temporal problem
A Constraint-based Approach for Annotating Music Scores with Gestural Information
Reformulation based MaxSAT robustness
Introduction to the Special Issue on Planning: Research Issues at the Intersection of Planning and Constraint Programming
Cardinality Networks: a theoretical and empirical study
Computing aperiodic tiling rhythmic canons via SAT models
MDD propagators with explanation
Combining Tree Partitioning, Precedence, and Incomparability Constraints
Interleaving solving and elicitation of constraint satisfaction problems based on expected cost
Introduction to the Special Issue on Constraints and Databases
A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences
Short- and medium-term optimization of underground mine planning using constraint programming
Introduction to the CPAIOR 2020 fast track issue
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems
A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints
Introduction to the CPAIOR 2018 fast track issue
Introduction to the fast track issue for CPAIOR 2015
Propagation via lazy clause generation
A solver for QBFs in negation normal form
Tractable cases of the extended global cardinality constraint
Search, propagation, and learning in sequencing and scheduling problems
A new constraint programming model and solving for the cyclic hoist scheduling problem
Grammar constraints
Tractable Decision for a Constraint Language Implies Tractable Search
Strategic decision making on complex systems
PhD theses in constraints 2012-2015
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
Visual search tree profiling
Constraint satisfaction for planning and scheduling problems
Decision Tradeoff Using Example-Critiquing and Constraint Programming
Projection, consistency, and George Boole
A global constraint for total weighted completion time for unary resources
Applying Ad-hoc Global Constraints with the case Constraint to Still-Life
Representation and Reasoning with Multi-Point Events
Limitations of restricted branching in clause learning
Limiting the memory consumption of caching for detecting subproblem dominance in constraint problems
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
Constraint Programming 2000: A Position Paper
The octagon abstract domain for continuous constraints
Efficient multiple constraint acquisition
Fast and parallel decomposition of constraint satisfaction problems
A branch and bound algorithm for numerical Max-CSP
Expressive power and abstraction in Essence
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS
Instance-specific algorithm configuration
Generic Incremental Algorithms for Local Search
Distributed constraint satisfaction with partially known constraints
Constraint Retraction in CLP(FD): Formal Framework and Performance Results
Interval-based projection method for under-constrained numerical systems
DARN! A Weighted Constraint Solver for RNA Motif Localization
Fourier Elimination for Compiling Constraint Hierarchies
Musical Harmonization with Constraints: A Survey
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques
Exact and flexible solution approach to a critical chain project management problem
Value Constraints in the CLP Scheme
Boosting isomorphic model filtering with invariants
How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids
QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications
When bounds consistency implies domain consistency for regular counting constraints
Introduction to the Special Issue on Constraints for Multimedia Artistic Applications
Explaining circuit propagation
Constraint-Based Attribute and Interval Planning
Philosophy of the MiniZinc challenge
Classes of submodular constraints expressible by graph cuts
Range-only SLAM with indistinguishable landmarks; a constraint programming approach
CSP beyond tractable constraint languages
On computing minimal independent support and its applications to sampling and counting
Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005)
An Application of CLP: Checking the Correctness of Theorems in Geometry
EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm
Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation"
Toward sustainable development in constraint programming
Earth Observation Satellite Management
New algorithms for max restricted path consistency
Mining diverse sets of patterns with constraint programming using the pairwise Jaccard similarity relaxation
A Hybrid Method for the Planning and Scheduling
Activity propagation in systems of linear inequalities and its relation to block-coordinate descent in linear programs
Evaluating the impact of AND/OR search on 0-1 integer linear programming
A Permutation-Based Approach for Solving the Job-Shop Problem
Propagating systems of dense linear integer constraints
Perception-based constraint solving for sudoku images
Constraint Solving in Uncertain and Dynamic Environments: A Survey
Portfolio approaches in constraint programming
Boosting Haplotype Inference with Local Search
Stochastic Local Search Algorithms for Graph Set T -colouring and Frequency Assignment
Local Search-based Hybrid Algorithms for Finding Golomb Rulers
Solving the quorumcast routing problem by constraint programming
Constraint Databases: Promising Technology or Just Intellectual Exercise?
A branch-and-price-and-check model for the vehicle routing problem with location congestion
Preference reasoning with soft constraints in constraint-based recommender systems
Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling
Qualitative modelling via constraint programming
Introduction to the Special Issue on Interval Constraints
Cluster Forming Interval Sub-Algebras
Constraints for symmetry breaking in graph representation
Introduction to the Special Issue on Principles and Practice of Constraint Programming (CP 2005)
Removing Node Overlapping in Graph Layout Using Constrained Optimization
A Constraint-Based Approach for Visualization and Animation
Constraint Networks of Topological Relations and Convexity
Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction
A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains
On Parallel Partial Solutions and Approximation Schemes for Local Consistency in Networks of Constraints
A Formal Approach to Agent Design: An Overview of Constraint-Based Agents
Relatively quantified constraint satisfaction
Value ordering for quantified CSPs
New techniques for discrete optimization
Constraint Games for stable and optimal allocation of demands in SDN
Transformations of representation in constraint satisfaction
Current Approaches for Solving Over-Constrained Problems
Rewriting Union Queries Using Views
Resource Constraints for Preemptive Job-shop Scheduling
High-Order Consistency in Valued Constraint Satisfaction
Constraint Solving and Programming: What Next?
A Repeated-Update Problem in the DeltaBlue Algorithm
meSAT: multiple encodings of CSP to SAT
Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
Beyond the structure of SAT formulas
Solving strong controllability of temporal problems with uncertainty using SMT
Improved WPM encoding for coalition structure generation under MC-nets
A Methodological View of Constraint Solving
Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
Implementing a Test for Tractability
A column-generation approach for joint mobilization and evacuation planning
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques
Extension of O ( n log n ) Filtering Algorithms for the Unary Resource Constraint to Optional Activities