yusuke1997/dblp-id-title huggingface dataset:
Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations
Computing Wasserstein Barycenters via Linear Programming
Assessing Group Fairness with Social Welfare Optimization
Learning Heuristics for the TSP by Policy Gradient
Interpretable Clustering via Soft Clustering Trees
Failure-Directed Search for Constraint-Based Scheduling
Chasing First Queens by Integer Programming
Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands
Contextual Robust Optimisation with Uncertainty Quantification
Learning MILP Resolution Outcomes Before Reaching Time-Limit
An Improved Neuro-Symbolic Architecture to Fine-Tune Generative AI Systems
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles
The Polytope of Context-Free Grammar Constraints
Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem
Scalable and Near-Optimal ε-Tube Clusterwise Regression
Online Learning for Scheduling MIP Heuristics
Enumerated Types and Type Extensions for MiniZinc
Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman
Learning Primal Heuristics for 0-1 Knapsack Interdiction Problems
Constraint Programming with Arbitrarily Large Integer Variables
Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem
Sequencing and Counting with the multicost-regular Constraint
CP with ACO
A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects
Finding Subgraphs with Side Constraints
Machine Learning Framework for Classification in Medicine and Biology
A Fast Algorithm to Solve the Frequency Assignment Problem
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems
Epiphytic Trees: Relational Consistency Applied to Global Optimization Problems
A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem
Recovering Indirect Solution Densities for Counting-Based Branching Heuristics
Reformulating Global Grammar Constraints
A O(n \log ^2 n) Checker and O(n^2 \log n) Filtering Algorithm for the Energetic Reasoning
Detecting and Exploiting Permutation Structures in MIPs
Automated Configuration of Mixed Integer Programming Solvers
An Ising Framework for Constrained Clustering on Special Purpose Hardware
Minimizing the Cost of Leveraging Influencers in Social Networks: IP and CP Approaches
Exact Method Approaches for the Differential Harvest Problem
A Weighted Counting Algorithm for the Circuit Constraint
Accelerating Counting-Based Search
A Combinatorial Auction Framework for Solving Decentralized Scheduling Problems (Extended Abstract)
Generalizations of the Global Cardinality Constraint for Hierarchical Resources
Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price
A SAT Encoding for Multi-dimensional Packing Problems
Modelling Search Strategies in Rules2CP
MDDs are Efficient Modeling Tools: An Application to Some Statistical Constraints
An Adaptive Model Restarts Heuristic
A Computational Geometry-Based Local Search Algorithm for Planar Location Problems
Lossless Compression of Deep Neural Networks
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost
Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation
Event-Driven Probabilistic Constraint Programming
Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem
Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification
AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems
Satellite Communication Resources Management in a Earth Observation Federation of Constellations
An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem
An Update on the Comparison of MIP, CP and Hybrid Approaches for Mixed Resource Allocation and Scheduling
Template Matching and Decision Diagrams for Multi-agent Path Finding
SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning
Constraint Reasoning with Uncertain Data Using CDF-Intervals
Best-First AND/OR Search for 0/1 Integer Programming
The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems
Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers
A First Look at Picking Dual Variables for Maximizing Reduced Cost Fixing
Retail Store Workforce Scheduling by Expected Operating Income Maximization
A Logic Based Benders' Approach to the Concrete Delivery Problem
Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning
A Branch-and-Cut Algorithm for Solving the Team Orienteering Problem
On Matrices, Automata, and Double Counting
Cost Evaluation of Soft Global Constraints
Dealing with Demand Uncertainty in Service Network and Load Plan Design
Towards a Compact SAT-Based Encoding of Itemset Mining Tasks
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach
Bilevel Optimization for On-Demand Multimodal Transit Systems
Decomposition Based on Decision Diagrams
Eliminating Redundant Clauses in SAT Instances
SAT and Hybrid Models of the Car Sequencing Problem
Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I
Minimising Source-Plate Swaps for Robotised Compound Dispensing in Microplates
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization
Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights
Local Alterations of the Lagrange Multipliers for Enhancing the Filtering of the AtMostNValue Constraint
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I
Breaking Symmetries from a Set-Covering Perspective
Modeling the Regular Constraint with Integer Programming
A Benders Decomposition Approach for a Capacitated Multi-vehicle Covering Tour Problem with Intermediate Facilities
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings
A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems
Guiding Combinatorial Optimization with UCT
Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation
On the Efficiency of Algebraic Simplex Algorithms for Solving MDPs
Bi-objective Discrete Graphical Model Optimization
Column Elimination for Capacitated Vehicle Routing Problems
Design and Implementation of Bounded-Length Sequence Variables
Time-Bounded Query Generator for Constraint Acquisition
A Global Constraint for Total Weighted Completion Time
Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth
The Range Constraint: Algorithms and Implementation
Connections in Networks: A Hybrid Approach
Plan B: Uncertainty/Time Trade-Offs for Linear and Integer Programming
Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming
Manipulating MDD Relaxations for Combinatorial Optimization
The Maximum Weighted Submatrix Coverage Problem: A CP Approach
Dynamic Controllability and Dispatchability Relationships
Reducing Income Variability in Natural Resource Portfolios via Integer Programming
A New Algorithm for Linear and Integer Feasibility in Horn Constraints
Generating Compound Moves in Local Search by Hybridisation with Complete Search
Stabilization Issues for Constraint Programming Based Column Generation
Leveraging Constraint Scheduling: A Case Study to the Textile Industry
Constraint Programming Approach for Spatial Packaging Problem
ILP and CP Formulations for the Lazy Bureaucrat Problem
Stochastic Constraint Programming by Neuroevolution with Filtering
Logic-Based Decomposition Methods for the Travelling Purchaser Problem
A Local Search Framework for Compiling Relaxed Decision Diagrams
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width
An Investigation into Prediction + Optimisation for the Knapsack Problem
LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams
Learning Deterministic Surrogates for Robust Convex QCQPs
A Parallel Algorithm for GAC Filtering of the Alldifferent Constraint
Precedence Constraint Posting for Cyclic Scheduling Problems
On CNF Encodings of Decision Diagrams
A Learning Large Neighborhood Search for the Staff Rerostering Problem
Constraint-Based Sequence Mining Using Constraint Programming
A Global Constraint for Graph Isomorphism Problems
Guiding Stochastic Search by Dynamic Learning of the Problem Topography
Rectangle Placement for VLSI Testing
Combining CP and ILP in a Tree Decomposition of Bounded Height for the Sum Colouring Problem
Combining Constraint Programming, Lagrangian Relaxation and Probabilistic Algorithms to solve the Vehicle Routing Problem
Heat Exchanger Circuitry Design by Decision Diagrams
Solving the Traveling Salesman Problem with Time Windows Through Dynamically Generated Time-Expanded Networks
Last-Mile Scheduling Under Uncertainty
Tight LP-Relaxations of Overlapping Global Cardinality Constraints
Parallel Depth-Bounded Discrepancy Search
The Deviation Constraint
Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams
A Contractor Based on Convex Interval Taylor
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions
MaxSAT-Based Scheduling of B2B Meetings
Stochastic Decision Diagrams
htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond
Selected Challenges from Distribution and Commerce in the Airline and Travel Industry
SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems
Reasoning on Sequences in Constraint-Based Local Search Frameworks
The Weighted CfgConstraint
The Weighted Arborescence Constraint
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services
Cloud Branching
A Lagrangian Relaxation for Golomb Rulers
Challenges for CPAIOR in Computational Sustainability
Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can!
Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling
On the Tractability of Smooth Constraint Satisfaction Problems
Bender's Cuts Guided Large Neighborhood Search for the Traveling Umpire Problem
A Large Neighborhood Search Heuristic for Graph Coloring
A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production
Integer and Constraint Programming for the Offline Nanosatellite Partition Scheduling Problem
Interactive Design of Sustainable Cities with a Distributed Local Search Solver
Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts
Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem
Optimization Bounds from Decision Diagrams in Haddock
UNSAT Solver Synthesis via Monte Carlo Forest Search
Energy-Aware Production Scheduling with Power-Saving Modes
Single Constant Multiplication for SAT
Finding a Collection of MUSes Incrementally
A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times
Learning from Scenarios for Repairable Stochastic Scheduling
Parallel Combinatorial Optimization with Decision Diagrams
Acquiring Constraints for a Non-linear Transmission Maintenance Scheduling Problem
Hybrid Local Search for Constrained Financial Portfolio Selection Problems
Opt Art
Constraint-Based Local Search for Golomb Rulers
Open Constraints in a Boundable World
Coupling Different Integer Encodings for SAT
Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework
Multi-speed Gearbox Synthesis Using Global Search and Non-convex Optimization
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP
Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming
Practically Uniform Solution Sampling in Constraint Programming
An Efficient Local Search for Partial Latin Square Extension Problem
Constraint Programming for the Robust Two-Machine Flow-Shop Scheduling Problem with Budgeted Uncertainty
Solving Connected Subgraph Problems in Wildlife Conservation
Model-Based Approaches to Multi-attribute Diverse Matching
CaVE: A Cone-Aligned Approach for Fast Predict-then-optimize with Binary Linear Programs
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution
Boolean Lexicographic Optimization
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition
Heuristic Variants of A ^* Search for 3D Flight Planning
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings
Mining (Soft-) Skypatterns Using Dynamic CSP
From MiniZinc to Optimization Modulo Theories, and Back
Constraint-Based Local Search for Constrained Optimum Paths Problems
A Hybrid Approach for Stator Winding Design Optimization
A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer Programs
Constraint Programming and Mixed Integer Linear Programming for Rescheduling Trains under Disrupted Operations
Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings
Towards a Deterministic Algorithm for the International Timetabling Competition
Constraint Integer Programming: A New Approach to Integrate CP and MIP
OAMIP: Optimizing ANN Architectures Using Mixed-Integer Programming
Open Constraints in a Closed World
Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems
Strengthening of Feasibility Cuts in Logic-Based Benders Decomposition
Solving the Extended Job Shop Scheduling Problem with AGVs - Classical and Quantum Approaches
Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches
ULD Build-Up Scheduling with Logic-Based Benders Decomposition
Decision-Focused Predictions via Pessimistic Bilevel Optimization: A Computational Study
Local Probing Applied to Network Routing
Flow-Based Combinatorial Chance Constraints
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation
Non-linear Optimization of Business Models in the Electricity Market
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination
Robust Resource Planning for Aircraft Ground Operations
Dealing with the Product Constraint
An Optimization Approach to the Ordering Phase of an Attended Home Delivery Service
Physician Scheduling During a Pandemic
Computational Experience with Hypergraph-Based Methods for Automatic Decomposition in Discrete Optimization
Climbing Depth-Bounded Adjacent Discrepancy Search for Solving Hybrid Flow Shop Scheduling Problems with Multiprocessor Tasks
Sliced Table Constraints: Combining Compression and Tabular Reduction
Modelling and Solving the Minimum Shift Design Problem
Optimality Clue for Graph Coloring Problem
Integrated Maintenance Scheduling for Semiconductor Manufacturing
Efficient Operations Between MDDs and Constraints
Uncertain Data Dependency Constraints in Matrix Models
Horizontally Elastic Not-First/Not-Last Filtering Algorithm for Cumulative Resource Constraint
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios
A Probing Algorithm for MINLP with Failure Prediction by SVM
IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems
Decision Diagrams and Dynamic Programming
Filtering Methods for Symmetric Cardinality Constraint
On Bilevel Programming and Its Impact in Branching, Cutting and Complexity
Hybridizing Machine Learning and Optimization for Planning Satellite Observations
Cost Impact Guided LNS
Solving (Weighted) Partial MaxSAT with ILP
Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling
Juniper: An Open-Source Nonlinear Branch-and-Bound Solver in Julia
Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings
Hybrid Heuristics for Multimodal Homecare Scheduling
Expected-Case Analysis for Delayed Filtering
Buffered Resource Constraint: Algorithms and Complexity
Propagating lex, find and replace with Dashed Strings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming
Accelerating Continuous Variable Coherent Ising Machines via Momentum
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings
Learning to Sparsify Travelling Salesman Problem Instances
A Fast Prize-Collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks
A Hybrid Column Generation and Constraint Programming Optimizer for the Tail Assignment Problem
EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events
Improved Discrete Reformulations for the Quadratic Assignment Problem
LLMs for Cold-Start Cutting Plane Separator Configuration
A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem
From High-Level Model to Branch-and-Price Solution in G12
A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems
Necessary Condition for Path Partitioning Constraints
A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination
On the Usefulness of Linear Modular Arithmetic in Constraint Programming
An Empirical Evaluation of Portfolios Approaches for Solving CSPs
Enumerating Infeasibility: Finding Multiple MUSes Quickly
Minimum Cycle Partition with Length Requirements
Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches
Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery
Global Cyclic Cumulative Constraint
The Rooted Maximum Node-Weight Connected Subgraph Problem
Modeling and Exploiting Dominance Rules for Discrete Optimization with Decision Diagrams
Revisiting Hyper Binary Resolution
Three-Dimensional Matching Instances Are Rich in Stable Matchings
Constructions and In-Place Operations for MDDs Based Constraints
Constraint Models for Sequential Planning
Packing While Traveling: Mixed Integer Programming for a Class of Nonlinear Knapsack Problems
An Exact CP Approach for the Cardinality-Constrained Euclidean Minimum Sum-of-Squares Clustering Problem
The TaskIntersection Constraint
Predicting the Optimal Period for Cyclic Hoist Scheduling Problems
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
Scheduling Abstractions for Local Search
The Timetable Constrained Distance Minimization Problem
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings
Repairing Learned Controllers with Convex Optimization: A Case Study
Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling
Soft-Regular with a Prefix-Size Violation Measure
Detecting Semantic Groups in MIP Models
Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs
Revisiting Two-Sided Stability Constraints
The Objective Sum Constraint
The Polytope of Tree-Structured Binary Constraint Satisfaction Problems
Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study
Identifying Patterns in Sequences of Variables
Learning to Reduce State-Expanded Networks for Multi-activity Shift Scheduling
Self-splitting of Workload in Parallel Computation
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes
Optimal Upgrading Schemes for Effective Shortest Paths in Networks
Balancing Nursing Workload by Constraint Programming
A Tabu Search Method for Interval Constraints
On Counting Lattice Points and Chvátal-Gomory Cutting Planes
Spatial and Objective Decompositions for Very Large SCAPs
Algorithm Configuration in Sequential Decision-Making
Some Experiments with Submodular Function Maximization via Integer Programming
Constraint Optimization Problems and Bounded Tree-Width Revisited
Scheduling Social Golfers Locally
SIMPL: A System for Integrating Optimization Techniques
Local Rapid Learning for Integer Programs
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings
Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing
Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches
Parallel Composition of Scheduling Solvers
Parallel Machine Scheduling with Additional Resources: A Lagrangian-Based Constraint Programming Approach
Representative Encodings to Translate Finite CSPs into SAT
Cyclic Routing of Unmanned Aerial Vehicles
Experimental Evaluation of Pheromone Models in ACOPlan
A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble
Counting Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
A Benders Approach to the Minimum Chordal Completion Problem
Filtering Algorithms for the Same Constraint
A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search
LP Relaxations of Multiple all_different Predicates
Time-Dependent Orienteering for High Altitude UAVs to Monitor Greenhouse Gases: - Mixed Integer Programming vs. Monte Carlo Tree Search
Planning for Mixed Discrete Continuous Domains
On Finding the Optimal BDD Relaxation
Restarting Algorithms: Sometimes There Is Free Lunch
PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs
Training Thinner and Deeper Neural Networks: Jumpstart Regularization
Time Table Edge Finding with Energy Variables
Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization
Bandits Help Simulated Annealing to Complete a Maximin Latin Hypercube Design
Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency
Experiments with Conflict Analysis in Mixed Integer Programming