Constraint Acquisition

2 items

RESEARCHarXiv CS.AI·4/16/2026

Optimizing Earth Observation Satellite Schedules under Unknown Operational Constraints: An Active Constraint Acquisition Approach

This paper addresses Earth Observation satellite scheduling under unknown operational constraints, which must be learned interactively from a binary oracle. The authors introduce Conservative Constraint Acquisition (CCA), a domain-specific procedure, to efficiently identify justified constraints for a simplified model.

Optimization Machine Learning Constraint Acquisition satellite scheduling

RESEARCHarXiv CS.AI·14d ago

Constraint acquisition needs better benchmarks

Current benchmarks for Constraint Acquisition (CA) and Mathematical Programming (MP) models are insufficient, impeding research reproducibility and comparability. This work introduces MPMMine, a new benchmark suite designed to validate and enhance MP models through diverse domain knowledge artifacts, promoting consistency and openness.

Model Validation Constraint Acquisition Mathematical Programming benchmarks