UDiscoverIt Downloads — Science of Computational Phenomena: Heavy-Tails, Algorithm Portfolios, Restarts, Streamlining, Sampling, Backdoors, and Pareto Frontier

Demo Links

• Latin Squares Solver (Author: Michael Usher)

2024

• Marc Grimson, Rafael Almeida, Qinru Shi, Yiwei Bai, Hector Angarita, Felipe Siqueira Pacheco, Rafael Schmitt, Alexander Flecker, Carla P. Gomes. Scaling Up Pareto Optimization for Tree Structures with Affine Transformations: Evaluating Hybrid Floating Solar-Hydropower Systems in the Amazon. AAAI 2024: 22067-22075 [pdf]
• Lingkai Kong, Yuanqi Du, Wenhao Mu, Kirill Neklyudov, Valentin De Bortol, Haorui Wang, Dongxia Wu, Aaron Ferber, Yi-An Ma, Carla P. Gomes, Chao Zhang. Diffusion Models as Constrained Samplers for Optimization with Unknown Constraints. CoRR abs/2402.18012 (2024) [pdf]

2023

• Renee Mirka, Laura Greenstreet, Marc Grimson, Carla P. Gomes. A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper). CP 2023: 47:1-47:11 [pdf]
• Yiwei Bai, Qinru Shi, Marc Grimson, Alexander Flecker, Carla P. Gomes. Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured Networks Using Expansion and Compression. CPAIOR 2023: 1-17 [pdf]
• Shufeng Kong, Caihua Liu, Carla P. Gomes. IPGPT: Solving Integer Programming Problems with Sequence to Contrastive Multi-Label Learning. STRL@IJCAI 2023 [pdf]

2022

• Dieqiao Feng, Carla P. Gomes, Bart Selman. Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. NeurIPS 2022 [pdf]
• Dieqiao Feng, Carla P. Gomes, Bart Selman. Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. CoRR abs/2206.14298 (2022) [pdf]
• Rafael M Almeida, Rafael JP Schmitt, Andrea Castelletti, Alexander S Flecker, Julien J Harou, Sebastian A Heilpern, Noah Kittner, G Mathias Kondolf, Jeff J Opperman, Qinru Shi, Carla P Gomes, Peter B McIntyre. Strategic planning of hydropower development: balancing benefits and socioenvironmental costs. Current Opinion in Environmental Sustainability (2022). [pdf]
• Alexander S. Flecker, Qinru Shi, Rafael M. Almeida, Héctor Angarita, Jonathan M. Gomes-Selman, Roosevelt García-Villacorta, Suresh A. Sethi, Steven A. Thomas, N. LeRoy Poff, Bruce R. Forsberg, Sebastian A. Heilpern, Stephen K. Hamilton, Jorge D. Abad, Elizabeth P. Anderson, Nathan Barros, Isabel Carolina Bernal, Richard Bernstein, Carlos M. Cañas, Olivier Dangles, Andrea C. Encalada, Ayan S. Fleischmann, Michael Goulding, Jonathan Higgins, Céline Jezequel, Erin I. Larson, Peter B. McIntyre, John M. Melack, Mariana Montoya, Thierry Oberdorff, Rodrigo Paiva, Guillaume Perez, Brendan H. Rappazzo, Scott Steinschneider, Sandra Torres, Mariana Varese, M. Todd Walter, Xiaojian Wu, Yexiang Xue, Xavier E. Zapata-Ríos, Carla P. Gomes. Reducing adverse impacts of Amazon hydropower expansion. Science (2022). [free access available]

2021

• Carla P. Gomes, Ashish Sabharwal. Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability 2021: 463-480
• Carla P. Gomes, Ashish Sabharwal, Bart Selman. Model Counting. Handbook of Satisfiability 2021: 993-1014

2019

• Rafael M. Almeida, Qinru Shi, Jonathan M. Gomes-Selman, Xiaojian Wu, Yexiang Xue, Hector Angarita, Nathan Barros, Bruce R. Forsberg, Roosevelt García-Villacorta, Stephen K. Hamilton, John M. Melack, Mariana Montoya, Guillaume Perez, Suresh A. Sethi, Carla P. Gomes, Alexander S. Flecker. Reducing greenhouse gas emissions of Amazon hydropower with strategic dam planning. Nature Communications (2019). [pdf]

2018

• Johan Bjorck, Yiwei Bai, Xiaojian Wu, Yexiang Xue, Mark C. Whitmore, Carla P. Gomes. Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Networks. AAAI 2018: 748-756 [pdf]
• Xiaojian Wu, Jonathan Gomes-Selman, Qinru Shi, Yexiang Xue, Roosevelt García-Villacorta, Elizabeth Anderson, Suresh Sethi, Scott Steinschneider, Alexander Flecker, Carla P. Gomes. Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin. AAAI 2018: 849-859 [pdf]
• Jonathan Michael Gomes Selman, Qinru Shi, Yexiang Xue, Roosevelt García-Villacorta, Alexander S. Flecker, Carla P. Gomes. Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks. CPAIOR 2018: 263-279 [pdf]
• Qinru Shi, Jonathan Michael Gomes Selman, Roosevelt García-Villacorta, Suresh Sethi, Alexander S. Flecker, Carla P. Gomes. Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework. COMPASS 2018: 26:1-26:8 [pdf]

2017

• Mateo Díaz, Ronan Le Bras, Carla P. Gomes. In Search of Balance: The Challenge of Generating Balanced Latin Rectangles. CPAIOR 2017: 68-76 [pdf]
• Junwen Bai, Johan Bjorck, Yexiang Xue, Santosh K. Suram, John M. Gregoire, Carla P. Gomes. Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery. CPAIOR 2017: 104-112 [pdf]
• Di Chen, Yexiang Xue, Daniel Fink, Shuo Chen, Carla P. Gomes. Deep Multi-species Embedding. IJCAI 2017: 3639-3646 [pdf]
• Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes. XOR-Sampling for Network Design with Correlated Stochastic Events. IJCAI 2017: 4640-4647 [pdf]
• Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes. XOR-Sampling for Network Design with Correlated Stochastic Events. CoRR abs/1705.08218 (2017) [pdf]
• Johan Bjorck, Yiwei Bai, Xiaojian Wu, Yexiang Xue, Mark C. Whitmore, Carla P. Gomes. Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Network. CoRR abs/1711.06800 (2017) [pdf]

2016

• Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes. Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. CP 2016: 701-717 [pdf]
• Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman. Variable Elimination in the Fourier Domain. ICML 2016: 285-294 [pdf]
• Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman. Solving Marginal MAP Problems with NP Oracles and Parity Constraints. NIPS 2016: 1127-1135 [pdf]
• Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman. Solving Marginal MAP Problems with NP Oracles and Parity Constraints. CoRR abs/1610.02591 (2016) [pdf]

2015

• Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover. Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. AAAI 2015: 636-643 [pdf]
• Stefano Ermon, Yexiang Xue, Russell Toth, Bistra Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick E. Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, Carla P. Gomes. Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa. AAAI 2015: 644-650 [pdf]
• Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman. Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. IJCAI 2015: 146-155 [pdf]
• Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman. Variable Elimination in Fourier Domain. CoRR abs/1508.04032 (2015) [pdf]

2014

• Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal. Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Ann. Math. Artif. Intell. 70(4): 399-431 (2014) [pdf]
• Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman. Designing Fast Absorbing Markov Chains. AAAI 2014: 849-855 [pdf]
• Ronan Le Bras, Carla P. Gomes, Bart Selman. On the Erdős Discrepancy Problem. CP 2014: 440-448 [pdf]
• Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman. A Human Computation Framework for Boosting Combinatorial Solvers. HCOMP 2014: 121-132 [pdf]
• Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman. Low-density Parity Constraints for Hashing-Based Discrete Integration. ICML 2014: 271-279 [pdf]
• Ronan Le Bras, Carla P. Gomes, Bart Selman. On the Erdos Discrepancy Problem. CoRR abs/1407.2510 (2014) [pdf]
• Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover. Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. CoRR abs/1411.7441 (2014) [pdf]

2013

• Ronan LeBras, Bistra Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery. Robust Network Design For Multispecies Conservation. AAAI 2013: 1305-1312 [pdf]
• Bistra Dilkina, Katherine J. Lai, Ronan LeBras, Yexiang Xue, Carla P. Gomes, Ashish Sabharwal, Jordan Suter, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery. Large Landscape Conservation - Synthetic and Real-World Datasets. AAAI 2013: 1369-1372 [pdf]
• Yexiang Xue, Bistra Dilkina, Theodoros Damoulas, Daniel Fink, Carla P. Gomes, Steve Kelling. Improving Your Chances: Boosting Citizen Science Discovery. HCOMP 2013: 198-206 [pdf]
• Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman. Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. ICML (2) 2013: 334-342 [pdf]
• Ronan LeBras, Carla P. Gomes, Bart Selman. Double-Wheel Graphs Are Graceful. IJCAI 2013: 587-593 [pdf]
• Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover. Crowdsourcing Backdoor Identification for Combinatorial Optimization. IJCAI 2013: 2840-2847 [pdf]
• Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman. Embed and Project: Discrete Sampling with Universal Hashing. NIPS 2013: 2085-2093 [pdf]
• Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman. Optimization With Parity Constraints: From Binary Codes to Discrete Integration. UAI 2013 [pdf]
• Carla P. Gomes, Meinolf Sellmann. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings. Lecture Notes in Computer Science 7874, Springer 2013, ISBN 978-3-642-38170-6 [contents]
• Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering. A Bayesian Approach to Tackling Hard Computational Problems. CoRR abs/1301.2279 (2013) [pdf]
• Carla P. Gomes, Bart Selman. Algorithm Portfolio Design: Theory vs. Practice. CoRR abs/1302.1541 (2013) [pdf]
• Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman. Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. CoRR abs/1302.6677 (2013) [pdf]
• Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman. Optimization With Parity Constraints: From Binary Codes to Discrete Integration. CoRR abs/1309.6827 (2013) [pdf]

2005

• Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière. Statistical Regimes Across Constrainedness Regions. Constraints An Int. J. 10(4): 317-337 (2005) [pdf]

2003

• Ryan Williams, Carla P. Gomes, Bart Selman. Backdoors To Typical Case Complexity. IJCAI 2003: 1173-1178 [pdf]

2000

• Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz. Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reason. 24(1/2): 67-100 (2000) [pdf]