Carla P. Gomes

Affiliations:
  • Cornell University, Department of Computer Science, Canada


According to our database1, Carla P. Gomes authored at least 217 papers between 1994 and 2023.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2017, "For establishing the field of computational sustainability, and for foundational contributions to artificial intelligence".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Scientific discovery in the age of artificial intelligence.
Nat., 2023

Tackling Climate Change with Machine Learning.
ACM Comput. Surv., 2023

Probabilistic Phase Labeling and Lattice Refinement for Autonomous Material Research.
CoRR, 2023

The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence.
CoRR, 2023

Xtal2DoS: Attention-based Crystal to Sequence Learning for Density of States Prediction.
CoRR, 2023

Keynote: AI for Scientific Discovery and a Sustainable Future.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications, 2023

Unsupervised Learning for Solving the Travelling Salesman Problem.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

M<sup>2</sup>Hub: Unlocking the Potential of Machine Learning for Materials Discovery.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

A new perspective on building efficient and expressive 3D equivariant graph neural networks.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

IPGPT: Solving Integer Programming Problems with Sequence to Contrastive Multi-Label Learning.
Proceedings of the 2nd International Workshop on Spatio-Temporal Reasoning and Learning (STRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023

Weighted Sampling without Replacement for Deep Top-k Classification.
Proceedings of the International Conference on Machine Learning, 2023

AI for Scientific Discovery and a Sustainable Future.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023

Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured Networks Using Expansion and Compression.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper).
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Provable Optimization of Quantal Response Leader-Follower Games with Exponentially Large Action Spaces.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Structure-based Drug Design with Equivariant Diffusion Models.
CoRR, 2022

Graph Value Iteration.
CoRR, 2022

Efficient projection algorithms onto the weighted <i>ℓ</i><sub>1</sub> ball.
Artif. Intell., 2022

Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Monitoring Vegetation From Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification.
Proceedings of the International Conference on Machine Learning, 2022

Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation.
Proceedings of the International Conference on Machine Learning, 2022

Is High Variance Unavoidable in RL? A Case Study in Continuous Control.
Proceedings of the Tenth International Conference on Learning Representations, 2022

Generalized Matching Pursuits for the Sparse Optimization of Separable Objectives.
Proceedings of the IEEE International Conference on Acoustics, 2022

The Fast Kernel Transform.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

A GNN-RNN Approach for Harnessing Geospatial and Temporal Information: Application to Crop Yield Prediction.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Model Counting.
Proceedings of the Handbook of Satisfiability - Second Edition, 2021

Exploiting Runtime Variation in Complete Solvers.
Proceedings of the Handbook of Satisfiability - Second Edition, 2021

Automating crystal-structure phase mapping by combining deep learning with constraint reasoning.
Nat. Mach. Intell., 2021

Constrained Machine Learning: The Bagel Framework.
CoRR, 2021

Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning.
CoRR, 2021

Materials Representation and Transfer Learning for Multi-Property Prediction.
CoRR, 2021

Towards Deeper Deep Reinforcement Learning.
CoRR, 2021

Low-Precision Reinforcement Learning.
CoRR, 2021

Evaluating Multi-label Classifiers with Noisy Labels.
CoRR, 2021

Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems.
CoRR, 2021

Autonomous synthesis of metastable materials.
CoRR, 2021

Keynote 2 - Computational Sustainability: Computing for a Better World and a Sustainable Future.
Proceedings of the IEEE International Conference on Smart Computing, 2021

Towards Deeper Deep Reinforcement Learning with Spectral Normalization.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Contrastively Disentangled Sequential Variational Autoencoder.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Low-Precision Reinforcement Learning: Running Soft Actor-Critic in Half Precision.
Proceedings of the 38th International Conference on Machine Learning, 2021

Sparse Bayesian Learning via Stepwise Regression.
Proceedings of the 38th International Conference on Machine Learning, 2021

On the Optimality of Backward Regression: Sparse Recovery and Subset Selection.
Proceedings of the IEEE International Conference on Acoustics, 2021

CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

EeLISA: Combating Global Warming Through the Rapid Analysis of Eelgrass Wasting Disease.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Understanding Decoupled and Early Weight Decay.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Learning Augmented Methods for Matching: Improving Invasive Species Management and Urban Mobility.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Accelerating Ecological Sciences from Above: Spatial Contrastive Learning for Remote Sensing.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Characterizing the Loss Landscape in Non-Negative Matrix Factorization.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Efficient Projection Algorithms onto the Weighted l1 Ball.
CoRR, 2020

A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning.
Proceedings of the 37th International Conference on Machine Learning, 2020

AI for Advancing Scientific Discovery for a Sustainable Future.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Task-Based Learning via Task-Oriented Prediction Network.
CoRR, 2019

Deep Reasoning Networks: Thinking Fast and Slow.
CoRR, 2019

Exponentially-Modified Gaussian Mixture Model: Applications in Spectroscopy.
CoRR, 2019

Computational sustainability: computing for a better world and a sustainable future.
Commun. ACM, 2019

Intelligent systems for geosciences: an essential research agenda.
Commun. ACM, 2019

Imitation Refinement for X-ray Diffraction Signal Processing.
Proceedings of the IEEE International Conference on Acoustics, 2019

CPU-accelerated principal-agent game for scalable citizen science.
Proceedings of the Conference on Computing & Sustainable Societies, 2019

Bias Reduction via End-to-End Shift Learning: Application to Citizen Science.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Understanding Batch Normalization.
CoRR, 2018

Imitation Refinement.
CoRR, 2018

Phase Mapper: Accelerating Materials Discovery with AI.
AI Mag., 2018

Understanding Batch Normalization.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

End-to-End Learning for the Deep Multivariate Probit Model.
Proceedings of the 35th International Conference on Machine Learning, 2018

Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework.
Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, 2018

Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Extending the Capacity of 1 / f Noise Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Multi-Entity Dependence Learning With Rich Context via Conditional Variational Auto-Encoder.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Networks.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Network.
CoRR, 2017

XOR-Sampling for Network Design with Correlated Stochastic Events.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Deep Multi-species Embedding.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Keynotes: Computational sustainability.
Proceedings of the 2017 Sustainable Internet and ICT for Sustainability, 2017

In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Solving Marginal MAP Problems with NP Oracles and Parity Constraints.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Variable Elimination in the Fourier Domain.
Proceedings of the 33nd International Conference on Machine Learning, 2016

Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Avicaching: A Two Stage Game for Bias Reduction in Citizen Science.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem.
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.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
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.
Ann. Math. Artif. Intell., 2014

Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models.
AI Mag., 2014

Computational Sustainability: Editorial Introduction to the Summer and Fall Issues.
AI Mag., 2014

Computational Sustainability.
AI Mag., 2014

String Kernels for Complex Time-Series: Counting Targets from Sensed Movement.
Proceedings of the 22nd International Conference on Pattern Recognition, 2014

Low-density Parity Constraints for Hashing-Based Discrete Integration.
Proceedings of the 31th International Conference on Machine Learning, 2014

A Human Computation Framework for Boosting Combinatorial Solvers.
Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, 2014

On the Erdős Discrepancy Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Uncovering Hidden Structure through Parallel Problem Decomposition.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Designing Fast Absorbing Markov Chains.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Challenges in Materials Discovery - Synthetic Generator and Real Datasets.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Learning policies for battery usage optimization in electric vehicles.
Mach. Learn., 2013

A Human/Computer Learning Network to Improve Biodiversity Conservation and Research.
AI Mag., 2013

Optimization With Parity Constraints: From Binary Codes to Discrete Integration.
Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, 2013

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Embed and Project: Discrete Sampling with Universal Hashing.
Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Double-Wheel Graphs Are Graceful.
Proceedings of the IJCAI 2013, 2013

Crowdsourcing Backdoor Identification for Combinatorial Optimization.
Proceedings of the IJCAI 2013, 2013

Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization.
Proceedings of the 30th International Conference on Machine Learning, 2013

Improving Your Chances: Boosting Citizen Science Discovery.
Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013

Large Landscape Conservation - Synthetic and Real-World Datasets.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Robust Network Design For Multispecies Conservation.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Uniform Solution Sampling Using a Constraint Solver As an Oracle.
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

SMT-Aided Combinatorial Materials Discovery.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Density Propagation and Improved Bounds on the Partition Function.
Proceedings of the Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012

eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research.
Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, 2012

Incorporating Computational Sustainability into AI Education through a Freely-Available, Collectively-Composed Supplementary Lab Text.
Proceedings of the Third Symposium on Education Advances in Artificial Intelligence, 2012

Probabilistic planning with non-linear utility functions and worst-case guarantees.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

From Streamlined Combinatorial Search to Efficient Constructive Procedures.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Introduction to special issue on computational sustainability.
ACM Trans. Intell. Syst. Technol., 2011

Generating highly balanced sudoku problems as hard problems.
J. Heuristics, 2011

Accelerated Adaptive Markov Chain for Partition Function Computation.
Proceedings of the Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 12-14 December 2011, 2011

Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems.
Proceedings of the IJCAI 2011, 2011

A Flat Histogram Method for Computing the Density of States of Combinatorial Problems.
Proceedings of the IJCAI 2011, 2011

Risk-Sensitive Policies for Sustainable Renewable Resource Allocation.
Proceedings of the IJCAI 2011, 2011

Computational Sustainability.
Proceedings of the Advances in Intelligent Data Analysis X - 10th International Symposium, 2011

Upgrading Shortest Paths in Networks.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

A message passing approach to multiagent gaussian inference for dynamic processes.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Maximizing the Spread of Cascades Using Network Design.
Proceedings of the UAI 2010, 2010

Playing games against nature: optimal policies for renewable resource allocation.
Proceedings of the UAI 2010, 2010

Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel.
Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

Challenges for CPAIOR in Computational Sustainability.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Solving Connected Subgraph Problems in Wildlife Conservation.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Computing the Density of States of Boolean Formulas.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

An Empirical Study of Optimization for Maximizing Diffusion in Networks.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009
Model Counting.
Proceedings of the Handbook of Satisfiability, 2009

Exploiting Runtime Variation in Complete Solvers.
Proceedings of the Handbook of Satisfiability, 2009

A generative power-law search tree model.
Comput. Oper. Res., 2009

Backdoors in the Context of Learning.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT.
Proceedings of the IJCAI 2009, 2009

Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search.
Proceedings of the IJCAI 2009, 2009

Learning Optimal Subsets with Implicit User Preferences.
Proceedings of the IJCAI 2009, 2009

Backdoors to Combinatorial Optimization: Feasibility and Optimality.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Challenges for Constraint Reasoning and Optimization in Computational Sustainability.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Satisfiability Solvers.
Proceedings of the Handbook of Knowledge Representation, 2008

Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Connections in Networks: A Hybrid Approach.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Log. Methods Comput. Sci., 2007

Regular-SAT: A many-valued approach to solving combinatorial problems.
Discret. Appl. Math., 2007

Sampling and Soundness: Can We Have Both?
Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, 2007

Short XORs for Model Counting: From Theory to Practice.
Proceedings of the Theory and Applications of Satisfiability Testing, 2007

SAT Encodings of State-Space Reachability Problems in Numeric Domains.
Proceedings of the IJCAI 2007, 2007

From Sampling to Model Counting.
Proceedings of the IJCAI 2007, 2007

Connections in Networks: Hardness of Feasibility Versus Optimality.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

Tradeoffs in the Complexity of Backdoor Detection.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Optimal Multi-Agent Scheduling with Constraint Programming.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Counting CSP Solutions Using Generalized XOR Constraints.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

The Impact of Network Topology on Pure Nash Equilibria in Graphical Games.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Randomness and Structure.
Proceedings of the Handbook of Constraint Programming, 2006

QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency.
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints.
Proceedings of the Advances in Neural Information Processing Systems 19, 2006

Adventures in Randomized Computational Methods.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

The Power of Semidefinite Programming Relaxations for MAX-SAT.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

Constraint Programming for Distributed Planning and Scheduling.
Proceedings of the Distributed Plan and Schedule Management, 2006

Model Counting: A New Strategy for Obtaining Good Bounds.
Proceedings of the Proceedings, 2006

The Impact of Balancing on Problem Hardness in a Highly Structured Domain.
Proceedings of the Proceedings, 2006

2005
Statistical Regimes Across Constrainedness Regions.
Constraints An Int. J., 2005

Sensor networks and distributed CSP: communication, computation and complexity.
Artif. Intell., 2005

Streamlining Local Search for Spatially Balanced Latin Squares.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

LP as a Global Search Heuristic Across Different Constrainedness Regions.
Proceedings of the Principles and Practice of Constraint Programming, 2005

The Achilles' Heel of QBF.
Proceedings of the Proceedings, 2005

2004
An improved approximation algorithm for the partial Latin square extension problem.
Oper. Res. Lett., 2004

Approximations and Randomization to Boost CSP Techniques.
Ann. Oper. Res., 2004

The Challenge of Generating Spatially Balanced Scientific Experiment Designs.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

The Cardinality Matrix Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Quality of LP-Based Approximations for Highly Combinatorial Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Streamlined Constraint Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2003
Técnicas de resolución de problemas de satisfacción de restricciones.
Inteligencia Artif., 2003

Backdoors To Typical Case Complexity.
Proceedings of the IJCAI-03, 2003

Grid-based SensorDCSP.
Proceedings of the IJCAI-03, 2003

2002
AAAI 2002 Workshops.
AI Mag., 2002

AAAI 2002 Fall Symposium Series Reports.
AI Mag., 2002

Communication and Computation in Distributed CSP Algorithms.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Dynamic Restart Policies.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
On the intersection of AI and OR.
Knowl. Eng. Rev., 2001

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).
Electron. Notes Discret. Math., 2001

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report).
Electron. Notes Discret. Math., 2001

Extending the Reach of SAT with Many-Valued Logics.
Electron. Notes Discret. Math., 2001

AAAI 2000 Workshop Reports.
AI Mag., 2001

Algorithm portfolios.
Artif. Intell., 2001

A Bayesian Approach to Tackling Hard Computational Problems.
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Balance and Filtering in Structured Satisfiable Problems.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Formal Models of Heavy-Tailed Behavior in Combinatorial Search.
Proceedings of the Principles and Practice of Constraint Programming, 2001

Capturing Structure with Satisfiability.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.
J. Autom. Reason., 2000

Hybrid Search Strategies for Heterogeneous Search Spaces.
Int. J. Artif. Intell. Tools, 2000

Structure, Duality, and Randomization: Common Themes in AI and OR.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

Generating Satisfiable Problem Instances.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Search Strategies for Hybrid Search Spaces.
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

On the Fine Structure of Large Search Spaces.
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

1998
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Boosting Combinatorial Search Through Randomization.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Algorithm Portfolio Design: Theory vs. Practice.
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

A Transformational Approach Applied to Outage Management of Nuclear Power Plants.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Heavy-Tailed Distributions in Combinatorial Search.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Problem Structure in the Presence of Perturbations.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
ABA: An Assignment Based Algorithm for Resource Allocation.
SIGART Bull., 1996

Synthesis of schedulers for planned shutdowns of power plants.
Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

1994
A Distributed Scheduling Framework.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994


  Loading...