Bistra Dilkina

CoRR, 2024

Distributional MIPLIB: a Multi-Domain Library for Advancing ML-Guided MILP Methods.

[BibT_eX]

[DOI]

CoRR, 2024

No Panacea in Planning: Algorithm Selection for Suboptimal Multi-Agent Path Finding.

[BibT_eX]

[DOI]

CoRR, 2024

MARL-LNS: Cooperative Multi-agent Reinforcement Learning via Large Neighborhoods Search.

[BibT_eX]

[DOI]

CoRR, 2024

Application-Driven Innovation in Machine Learning.

[BibT_eX]

[DOI]

CoRR, 2024

Learning Backdoors for Mixed Integer Programs with Contrastive Learning.

[BibT_eX]

[DOI]

Junyang Cai

CoRR, 2024

Why Solving Multi-agent Path Finding with Large Language Model has not Succeeded Yet.

[BibT_eX]

[DOI]

CoRR, 2024

Fragile Earth: Generative and Foundational Models for Sustainable Development.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

Position: Application-Driven Innovation in Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Contrastive Predict-and-Search for Mixed Integer Linear Programs.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

GenCO: Generating Diverse Designs with Combinatorial Constraints.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning.

[BibT_eX]

[DOI]

Junyang Cai

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Learning Lagrangian Multipliers for the Travelling Salesman Problem.

[BibT_eX]

[DOI]

Louis-Martin Rousseau

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

Adaptive Anytime Multi-Agent Path Finding Using Bandit-Based Large Neighborhood Search.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Disaster world.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, March, 2023

GenCO: Generating Diverse Solutions to Design Problems with Combinatorial Nature.

[BibT_eX]

[DOI]

CoRR, 2023

Artificial Intelligence/Operations Research Workshop 2 Report Out.

[BibT_eX]

[DOI]

Pascal Van Hentenryck

CoRR, 2023

Landscape Surrogate: Learning Decision Losses for Mathematical Optimization Under Partial Information.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Fragile Earth: AI for Climate Sustainability - From Wildfire Disaster Management to Public Health and Beyond.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

SurCo: Learning Linear SURrogates for COmbinatorial Nonlinear Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

Moccasin: Efficient Tensor Rematerialization for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

Local Branching Relaxation Heuristics for Integer Linear Programs.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

Info-Wild: Knowledge Extraction and Management for Wildlife Conservation.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

Deadline-Aware Multi-Agent Tour Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Learning generalized strong branching for set covering, set packing, and 0-1 knapsack problems.

[BibT_eX]

[DOI]

Yu Yang

Natashia Boland

Martin W. P. Savelsbergh

Eur. J. Oper. Res., 2022

Learning a Priority Ordering for Prioritized Planning in Multi-Agent Path Finding.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Fragile Earth: AI for Climate Mitigation, Adaptation, and Environmental Justice.

[BibT_eX]

[DOI]

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Landscape Optimization for Prescribed Burns in Wildfire Mitigation Planning.

[BibT_eX]

[DOI]

Eshwar Prasad Sivaramakrishnan

Proceedings of the COMPASS '22: ACM SIGCAS/SIGCHI Conference on Computing and Sustainable Societies, Seattle, WA, USA, 29 June 2022, 2022

Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework.

[BibT_eX]

[DOI]

Elias B. Khalil

Pashootan Vaezipoor

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Anytime Multi-Agent Path Finding via Machine Learning-Guided Large Neighborhood Search.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Harnessing Heterogeneity: Learning from Decomposed Feedback in Bayesian Modeling.

[BibT_eX]

[DOI]

CoRR, 2021

Learning Pseudo-Backdoors for Mixed Integer Programs.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

Fragile Earth: Accelerating Progress towards Equitable Sustainability.

[BibT_eX]

[DOI]

Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

Learning Node-Selection Strategies in Bounded-Suboptimal Conflict-Based Search for Multi-Agent Path Finding.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Becoming Good at AI for Good.

[BibT_eX]

[DOI]

Juan M. Lavista Ferres

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

Learning to Resolve Conflicts for Multi-Agent Path Finding with Conflict-Based Search.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Controllable Guarantees for Fair Outcomes via Contrastive Information Estimation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Model Generalization in Deep Learning Applications for Land Cover Mapping.

[BibT_eX]

[DOI]

Lucas Hu

CoRR, 2020

A General Large Neighborhood Search Framework for Solving Integer Programs.

[BibT_eX]

[DOI]

CoRR, 2020

BIRDSAI: A Dataset for Detection and Tracking in Aerial Thermal Infrared Videos.

[BibT_eX]

[DOI]

Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2020

A General Large Neighborhood Search Framework for Solving Integer Linear Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Embedding Conjugate Gradient in Learning Random Walks for Landscape Connectivity Modeling in Conservation.

[BibT_eX]

[DOI]

Pramith Devulapalli

Yexiang Xue

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Weakly Supervised Semantic Segmentation in the 2020 IEEE GRSS Data Fusion Contest.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

Stay Ahead of Poachers: Illegal Wildlife Poaching Prediction and Patrol Planning Under Uncertainty with Field Test Evaluations (Short Version).

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

Enhancing Seismic Resilience of Water Pipe Networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGCAS Conference on Computing and Sustainable Societies, 2020

Video Game Level Repair via Mixed Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2020

Human-Machine Collaboration for Fast Land Cover Mapping.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

End-to-End Game-Focused Learning of Adversary Behavior in Security Games.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

MIPaaL: Mixed Integer Program as a Layer.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

To Signal or Not To Signal: Exploiting Uncertain Real-Time Information in Signaling Games for Security and Sustainability.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Evolution of Hierarchical Structure & Reuse in iGEM Synthetic DNA Sequences.

[BibT_eX]

[DOI]

CoRR, 2019

Migration patterns under different scenarios of sea level rise.

[BibT_eX]

[DOI]

Juan Moreno-Cruz

CoRR, 2019

Stay Ahead of Poachers: Illegal Wildlife Poaching Prediction and Patrol Planning Under Uncertainty with Field Test Evaluations.

[BibT_eX]

[DOI]

CoRR, 2019

Decision-Focused Learning of Adversary Behavior in Security Games.

[BibT_eX]

[DOI]

CoRR, 2019

Computational sustainability: computing for a better world and a sustainable future.

[BibT_eX]

[DOI]

Commun. ACM, 2019

Improving GP-UCB Algorithm by Harnessing Decomposed Feedback.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2019

End to end learning and optimization on graphs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Learning to Prescribe Interventions for Tuberculosis Patients Using Digital Adherence Data.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

Budget-Constrained Demand-Weighted Network Design for Resilient Infrastructure.

[BibT_eX]

[DOI]

Amrita Gupta

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Combinatorial Attacks on Binarized Neural Networks.

[BibT_eX]

[DOI]

Elias B. Khalil

Amrita Gupta

Proceedings of the 7th International Conference on Learning Representations, 2019

Evolution of Hierarchical Structure and Reuse in iGEM Synthetic DNA Sequences.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2019, 2019

Large Scale High-Resolution Land Cover Mapping With Multi-Resolution Data.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

Don't Put All Your Strategies in One Basket: Playing Green Security Games with Imperfect Prior Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Using Game Theory in Real Time in the Real World: A Conservation Case Study.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Broken Signals in Security Games: Coordinating Patrollers and Sensors in the Real World.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Melding the Data-Decisions Pipeline: Decision-Focused Learning for Combinatorial Optimization.

[BibT_eX]

[DOI]

Bryan Wilder

Milind Tambe

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Emergence and Evolution of Hierarchical Structure in Complex Systems.

[BibT_eX]

[DOI]

CoRR, 2018

δ-MAPS: from spatio-temporal data to a weighted and lagged network between functional domains.

[BibT_eX]

[DOI]

Appl. Netw. Sci., 2018

Discrete Interventions in Hawkes Processes with Applications in Invasive Species Management.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Imbalanced Collusive Security Games.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 9th International Conference, 2018

A Machine Learning Approach to Modeling Human Migration.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, 2018

Infrastructure Resilience for Climate Adaptation.

[BibT_eX]

[DOI]

Amrita Gupta

Jeffrey Hepinstall-Cymerman

Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, 2018

AirSim-W: A Simulation Environment for Wildlife Conservation with UAVs.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, 2018

Adversary Models Account for Imperfect Crime Data: Forecasting and Planning against Real-world Poachers.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Hawkes Processes for Invasive Species Modeling and Management.

[BibT_eX]

[DOI]

CoRR, 2017

Achieving full connectivity of sites in the multiperiod reserve network design problem.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2017

Learning Combinatorial Optimization Algorithms over Graphs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Learning to Run Heuristics in Tree Search.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Learning Mixtures of Markov Chains from Aggregate Data with Structural Constraints (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017

A Deep Learning Approach for Population Estimation from Satellite Imagery.

[BibT_eX]

[DOI]

Fred Hohman

Proceedings of the 1st ACM SIGSPATIAL Workshop on Geospatial Humanities, 2017

CP-ORTHO: An Orthogonal Tensor Factorization Framework for Spatio-Temporal Data.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2017

Optimal Patrol Planning for Green Security Games with Black-Box Attackers.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 8th International Conference, 2017

\delta -MAPS: From fMRI Data to Functional Brain Networks.

[BibT_eX]

[DOI]

Proceedings of the Complex Networks & Their Applications VI, 2017

Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Learning Mixtures of Markov Chains from Aggregate Data with Structural Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2016

Refugee Resettlement Housing Scout.

[BibT_eX]

[DOI]

CoRR, 2016

An approach to integrate inter-dependent simulations using HLA with applications to sustainable urban development.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2016

Lexis: An Optimization Framework for Discovering the Hierarchical Structure of Sequential Data.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Firebird: Predicting Fire Risk and Prioritizing Fire Inspections in Atlanta.

[BibT_eX]

[DOI]

Matthew Hinds-Aldrich

Duen Horng Chau

Siamak Safarzadegan Gilan

Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Active Learning in Multi-objective Evolutionary Algorithms for Sustainable Building Design.

[BibT_eX]

[DOI]

Naman Goyal

Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016

Network optimization of food flows in the U.S.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

Learning to Branch in Mixed Integer Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Reports from the 2015 AAAI Workshop Program.

[BibT_eX]

[DOI]

AI Mag., 2015

Coarse Models for Bird Migrations Using Clustering and Non-Stationary Markov Chains.

[BibT_eX]

[DOI]

Nitin Jain

Siamak Safarzadegan Gilan

Proceedings of the Computational Sustainability, 2015

Sustainable Building Design: A Challenge at the Intersection of Machine Learning and Design Optimization.

[BibT_eX]

[DOI]

Proceedings of the Computational Sustainability, 2015

Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

To gather together for a better world: understanding and leveraging communities in micro-lending recommendation.

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

Scalable diffusion-aware optimization of network topology.

[BibT_eX]

[DOI]

Elias Boutros Khalil

Le Song

Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

2013

Improving Your Chances: Boosting Citizen Science Discovery.

[BibT_eX]

[DOI]

Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013

Large Landscape Conservation - Synthetic and Real-World Datasets.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Robust Network Design For Multispecies Conservation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Exploiting Structure in combinatorial Problems with Applications in Computational Sustainability.

[BibT_eX]

PhD thesis, 2012

Incorporating Computational Sustainability into AI Education through a Freely-Available, Collectively-Composed Supplementary Lab Text.

[BibT_eX]

[DOI]

Proceedings of the Third Symposium on Education Advances in Artificial Intelligence, 2012

2011

Upgrading Shortest Paths in Networks.

[BibT_eX]

[DOI]

Katherine J. Lai

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

2010

Maximizing the Spread of Cascades Using Network Design.

[BibT_eX]

[DOI]

Proceedings of the UAI 2010, 2010

Solving Connected Subgraph Problems in Wildlife Conservation.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

An Empirical Study of Optimization for Maximizing Diffusion in Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Backdoors in the Context of Learning.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Backdoors to Combinatorial Optimization: Feasibility and Optimality.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

2007

Tradeoffs in the Complexity of Backdoor Detection.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

The Impact of Network Topology on Pure Nash Equilibria in Graphical Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2005

Extending Systematic Local Search for Job Shop Scheduling Problems.

[BibT_eX]

[DOI]