Cover Image

A Comparative Study of SMT and MILP for the Nurse Rostering Problem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Combrink, Alvin, Do, Stephie, Bengtsson, Kristofer, Roselli, Sabino Francesco, Fabian, Martin
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Prioritized Planning for Continuous-time Lifelong Multi-agent Pathfinding
by: Combrink, Alvin, et al.
Published: (2025)

A General Formulation for the Teaching Assignment Problem: Computational Analysis Over a Real-World Dataset
by: Johannesson, Moa, et al.
Published: (2026)

Optimal Multi-agent Path Finding in Continuous Time
by: Combrink, Alvin, et al.
Published: (2025)

A Multi-Worker Assembly Line Rebalancing with Spatial and Ergonomic Considerations
by: Vinetti, Martina, et al.
Published: (2025)

CORL: Reinforcement Learning of MILP Policies Solved via Branch and Bound
by: Anand, Akhil S, et al.
Published: (2025)

Combining High Level Scheduling and Low Level Control to Manage Fleets of Mobile Robots
by: Roselli, Sabino Francesco, et al.
Published: (2025)

A Comparative Study of Artificial Potential Fields and Reciprocal Control Barrier Function-based Safety Filters
by: Li, Ming, et al.
Published: (2024)

Continuous-Time Distributed Dynamic Programming for Networked Multi-Agent Markov Decision Processes
by: Lee, Donghwan, et al.
Published: (2023)

Code Retrieval for MILP Instance Generation
by: Yang, Tianxing, et al.
Published: (2025)

On the constrained feedback linearization control based on the MILP representation of a ReLU-ANN
by: Do, Huu-Thinh, et al.
Published: (2024)

Convolutional Neural Network Design and Evaluation for Real-Time Multivariate Time Series Fault Detection in Spacecraft Attitude Sensors
by: Gallon, Riccardo, et al.
Published: (2024)

The Distribution Shift Problem in Transportation Networks using Reinforcement Learning and AI
by: Taschin, Federico, et al.
Published: (2025)

Challenges in Applying Variational Quantum Algorithms to Dynamic Satellite Network Routing
by: Do, Phuc Hao, et al.
Published: (2025)

Predictive Monitoring of Black-Box Dynamical Systems
by: Henzinger, Thomas A., et al.
Published: (2024)

A Tricycle Model to Accurately Control an Autonomous Racecar with Locked Differential
by: Raji, Ayoub, et al.
Published: (2023)

From Imitation to Optimization: A Comparative Study of Offline Learning for Autonomous Driving
by: Guillen-Perez, Antonio
Published: (2025)

TSS GAZ PTP: Towards Improving Gumbel AlphaZero with Two-stage Self-play for Multi-constrained Electric Vehicle Routing Problems
by: Wang, Hui, et al.
Published: (2025)

A "good regulator theorem" for embodied agents
by: Virgo, Nathaniel, et al.
Published: (2025)

Mixed-Integer Optimal Control via Reinforcement Learning: A Case Study on Hybrid Electric Vehicle Energy Management
by: Xu, Jinming, et al.
Published: (2023)

2-Level Reinforcement Learning for Ships on Inland Waterways: Path Planning and Following
by: Waltz, Martin, et al.
Published: (2023)

Optimal Output Feedback Learning Control for Discrete-Time Linear Quadratic Regulation
by: Xie, Kedi, et al.
Published: (2025)

Uncertainty Distribution Assessment of Jiles-Atherton Parameter Estimation for Inrush Current Studies
by: Ugarte-Valdivielso, Jone, et al.
Published: (2024)

The Pump Scheduling Problem: A Real-World Scenario for Reinforcement Learning
by: Donâncio, Henrique, et al.
Published: (2022)

Neural Policy Composition from Free Energy Minimization
by: Rossi, Francesca, et al.
Published: (2025)

Large Language Model-Assisted Planning of Electric Vehicle Charging Infrastructure with Real-World Case Study
by: Zheng, Xinda, et al.
Published: (2025)

On the Convergence of Overparameterized Problems: Inherent Properties of the Compositional Structure of Neural Networks
by: de Oliveira, Arthur Castello Branco, et al.
Published: (2025)

A Graph-Enhanced Deep-Reinforcement Learning Framework for the Aircraft Landing Problem
by: Maru, Vatsal
Published: (2025)

Deep Reinforcement Learning for Multi-Objective Optimization: Enhancing Wind Turbine Energy Generation while Mitigating Noise Emissions
by: de Frutos, Martín, et al.
Published: (2024)

Learning optimal objective values for MILP
by: Scavuzzo, Lara, et al.
Published: (2024)

Neural Network Verification for Gliding Drone Control: A Case Study
by: Kessler, Colin, et al.
Published: (2025)

Stability of Primal-Dual Gradient Flow Dynamics for Multi-Block Convex Optimization Problems
by: Ozaslan, Ibrahim K., et al.
Published: (2024)

Sublinear Regret for a Class of Continuous-Time Linear-Quadratic Reinforcement Learning Problems
by: Huang, Yilie, et al.
Published: (2024)

Approximate Model-Based Shielding for Safe Reinforcement Learning
by: Goodall, Alexander W., et al.
Published: (2023)

Data-Driven Exploration for a Class of Continuous-Time Indefinite Linear--Quadratic Reinforcement Learning Problems
by: Huang, Yilie, et al.
Published: (2025)

Success Conditioning as Policy Improvement: The Optimization Problem Solved by Imitating Success
by: Russo, Daniel
Published: (2026)

Zeroth-Order Actor-Critic: An Evolutionary Framework for Sequential Decision Problems
by: Lei, Yuheng, et al.
Published: (2022)

Fusion Intelligence: Confluence of Natural and Artificial Intelligence for Enhanced Problem-Solving Efficiency
by: Kalavakonda, Rohan Reddy, et al.
Published: (2024)

A cGAN Ensemble-based Uncertainty-aware Surrogate Model for Offline Model-based Optimization in Industrial Control Problems
by: Feng, Cheng
Published: (2022)

CLCR: Contrastive Learning-based Constraint Reordering for Efficient MILP Solving
by: Zeng, Shuli, et al.
Published: (2025)

Nonlinear Non-Gaussian Density Steering with Input and Noise Channel Mismatch: Sinkhorn with Memory for Solving the Control-affine Schrödinger Bridge Problem
by: Bondar, Georgiy A., et al.
Published: (2026)