← heapsort-ai

Constraint Acquisition

2 items

RESEARCHarXiv CS.AI·16/04/2026

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

Este trabalho aborda o agendamento de satélites de Observação da Terra com restrições operacionais desconhecidas, que precisam ser aprendidas interativamente de um oráculo binário. Os autores propõem o Conservative Constraint Acquisition (CCA), um procedimento específico de domínio, para identificar eficientemente restrições justificadas em um modelo simplificado.

28
RESEARCHarXiv CS.AI·13d atrás

Constraint acquisition needs better benchmarks

Os benchmarks atuais para aquisição de restrições (CA) e modelos de programação matemática (MP) são inadequados, dificultando a reprodutibilidade e comparabilidade da pesquisa. Este trabalho apresenta o MPMMine, uma nova suíte de benchmarks projetada para validar e aprimorar modelos MP usando diversos artefatos de conhecimento de domínio, promovendo consistência e abertura.

27