Constraint Acquisition

2 items

RESEARCHarXiv CS.AI·16/04/2026

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

Cette recherche étudie la planification des satellites d'observation de la Terre avec des contraintes opérationnelles inconnues, qui doivent être apprises de manière interactive à partir d'un oracle binaire. Elle introduit le Conservative Constraint Acquisition (CCA), une procédure spécifique au domaine, pour identifier efficacement les contraintes justifiées dans un modèle simplifié.

Optimization Machine Learning Constraint Acquisition satellite scheduling

RESEARCHarXiv CS.AI·il y a 14j

Constraint acquisition needs better benchmarks

Les benchmarks actuels pour l'Acquisition de Contraintes (CA) et les modèles de Programmation Mathématique (MP) sont inadéquats, entravant la reproductibilité et la comparabilité de la recherche. Ce travail introduit MPMMine, une nouvelle suite de benchmarks conçue pour valider et améliorer les modèles MP en utilisant divers artefacts de connaissance du domaine, favorisant la cohérence et l'ouverture.

Model Validation Constraint Acquisition Mathematical Programming benchmarks