{"id":"https://openalex.org/W7154577578","doi":"https://doi.org/10.48550/arxiv.2604.13283","title":"Optimizing Earth Observation Satellite Schedules under Unknown Operational Constraints: An Active Constraint Acquisition Approach","display_name":"Optimizing Earth Observation Satellite Schedules under Unknown Operational Constraints: An Active Constraint Acquisition Approach","publication_year":2026,"publication_date":"2026-04-14","ids":{"openalex":"https://openalex.org/W7154577578","doi":"https://doi.org/10.48550/arxiv.2604.13283"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.13283","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13283","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.13283","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083396019","display_name":"Mohamed-Bachir Belaid","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Belaid, Mohamed-Bachir","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083396019"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12042","display_name":"Satellite Communication Systems","score":0.6503999829292297,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12042","display_name":"Satellite Communication Systems","score":0.6503999829292297,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12449","display_name":"Spacecraft Design and Technology","score":0.08330000191926956,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.046300001442432404,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7038999795913696},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6243000030517578},{"id":"https://openalex.org/keywords/pairwise-comparison","display_name":"Pairwise comparison","score":0.5824999809265137},{"id":"https://openalex.org/keywords/earth-observation-satellite","display_name":"Earth observation satellite","score":0.527400016784668},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.5214999914169312},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5045999884605408},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4740999937057495},{"id":"https://openalex.org/keywords/greedy-algorithm","display_name":"Greedy algorithm","score":0.45840001106262207},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.4189000129699707}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7038999795913696},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6413999795913696},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6243000030517578},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.5824999809265137},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5307000279426575},{"id":"https://openalex.org/C2987528665","wikidata":"https://www.wikidata.org/wiki/Q854845","display_name":"Earth observation satellite","level":3,"score":0.527400016784668},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.5214999914169312},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5045999884605408},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4740999937057495},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.45840001106262207},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4189000129699707},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.3880000114440918},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.3871999979019165},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.36250001192092896},{"id":"https://openalex.org/C19269812","wikidata":"https://www.wikidata.org/wiki/Q26540","display_name":"Satellite","level":2,"score":0.3594000041484833},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3296000063419342},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.32280001044273376},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.3206999897956848},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.30979999899864197},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C39399123","wikidata":"https://www.wikidata.org/wiki/Q1348989","display_name":"Earth observation","level":3,"score":0.29499998688697815},{"id":"https://openalex.org/C55660270","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization","level":2,"score":0.29030001163482666},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.27709999680519104},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.2563000023365021}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.13283","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13283","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.13283","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13283","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Earth":[0],"Observation":[1],"(EO)":[2],"satellite":[3],"scheduling":[4,64],"(deciding":[5],"which":[6],"imaging":[7],"tasks":[8],"to":[9,88,104,147,184],"perform":[10],"and":[11,43,91,149,160,219],"when)":[12],"is":[13,28,70,194],"a":[14,79,84,100,134,156,168],"well-studied":[15],"combinatorial":[16],"optimization":[17,132],"problem.":[18],"Existing":[19],"methods":[20],"typically":[21],"assume":[22],"that":[23,130],"the":[24,68,116,121,176,191,195],"operational":[25],"constraint":[26,136,151],"model":[27,86,137],"fully":[29],"specified":[30],"in":[31,49,57,109,120,200],"advance.":[32],"In":[33],"practice,":[34],"however,":[35],"constraints":[36,107],"governing":[37],"separation":[38,90],"between":[39],"observations,":[40],"power":[41],"budgets,":[42],"thermal":[44],"limits":[45],"are":[46],"often":[47],"embedded":[48],"engineering":[50],"artefacts":[51],"or":[52],"high-fidelity":[53],"simulators":[54],"rather":[55],"than":[56,167],"explicit":[58],"mathematical":[59],"models.":[60],"We":[61],"study":[62],"EO":[63],"under":[65,133],"\\emph{unknown":[66],"constraints}:":[67],"objective":[69],"known,":[71],"but":[72],"feasibility":[73],"must":[74],"be":[75],"learned":[76,117,135],"interactively":[77],"from":[78,180],"binary":[80],"oracle.":[81],"Working":[82],"with":[83,138,145],"simplified":[85],"restricted":[87],"pairwise":[89],"global":[92],"capacity":[93],"constraints,":[94],"we":[95],"introduce":[96],"Conservative":[97],"Constraint":[98],"Acquisition~(CCA),":[99],"domain-specific":[101],"procedure":[102],"designed":[103],"identify":[105],"justified":[106],"efficiently":[108],"practice":[110],"while":[111,211],"limiting":[112],"unnecessary":[113],"tightening":[114],"of":[115,217],"model.":[118],"Embedded":[119],"\\textsc{Learn\\&Optimize}":[122],"framework,":[123],"CCA":[124],"supports":[125],"an":[126],"interactive":[127],"search":[128],"process":[129],"alternates":[131],"targeted":[139],"oracle":[140,165],"queries.":[141],"On":[142],"synthetic":[143],"instances":[144],"up":[146],"50~tasks":[148],"dense":[150],"networks,":[152],"L\\&O":[153,202],"improves":[154,203],"over":[155],"no-knowledge":[157],"greedy":[158],"baseline":[159,171],"uses":[161],"far":[162],"fewer":[163],"main":[164,214],"queries":[166,215],"two-phase":[169],"acquire-then-solve":[170],"(FAO).":[172],"For":[173],"$n\\leq":[174],"30$,":[175],"average":[177,207],"gap":[178],"drops":[179],"65--68\\%":[181],"(Priority":[182],"Greedy)":[183],"17.7--35.8\\%":[185],"using":[186,212],"L\\&O.":[187],"At":[188],"$n{=}50$,":[189],"where":[190],"CP-SAT":[192],"reference":[193],"best":[196],"feasible":[197],"solution":[198],"found":[199],"120~s,":[201],"on":[204,206],"FAO":[205],"(17.9\\%":[208],"vs.\\":[209],"20.3\\%)":[210],"21.3":[213],"instead":[216],"100":[218],"about":[220],"$5\\times$":[221],"less":[222],"execution":[223],"time.":[224]},"counts_by_year":[],"updated_date":"2026-04-17T06:04:52.305304","created_date":"2026-04-17T00:00:00"}