Carla P. Gomes

CoRR, 2022

Efficient projection algorithms onto the weighted ℓ1 ball.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification.

[BibT_eX]

[DOI]

Junwen Bai

Shufeng Kong

Proceedings of the International Conference on Machine Learning, 2022

Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation.

[BibT_eX]

[DOI]

Sebastian E. Ament

Proceedings of the International Conference on Machine Learning, 2022

Is High Variance Unavoidable in RL? A Case Study in Continuous Control.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Generalized Matching Pursuits for the Sparse Optimization of Separable Objectives.

[BibT_eX]

[DOI]

Sebastian Ament

Proceedings of the IEEE International Conference on Acoustics, 2022

The Fast Kernel Transform.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2021

Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

Exploiting Runtime Variation in Complete Solvers.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

Automating crystal-structure phase mapping by combining deep learning with constraint reasoning.

[BibT_eX]

[DOI]

Nat. Mach. Intell., 2021

Constrained Machine Learning: The Bagel Framework.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Materials Representation and Transfer Learning for Multi-Property Prediction.

[BibT_eX]

[DOI]

CoRR, 2021

Towards Deeper Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Low-Precision Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Evaluating Multi-label Classifiers with Noisy Labels.

[BibT_eX]

[DOI]

Wenting Zhao

CoRR, 2021

Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems.

[BibT_eX]

[DOI]

Yiwei Bai

Wenting Zhao

CoRR, 2021

Autonomous synthesis of metastable materials.

[BibT_eX]

[DOI]

CoRR, 2021

Keynote 2 - Computational Sustainability: Computing for a Better World and a Sustainable Future.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Smart Computing, 2021

Towards Deeper Deep Reinforcement Learning with Spectral Normalization.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Contrastively Disentangled Sequential Variational Autoencoder.

[BibT_eX]

[DOI]

Junwen Bai

Weiran Wang

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.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Sparse Bayesian Learning via Stepwise Regression.

[BibT_eX]

[DOI]

Sebastian E. Ament

Proceedings of the 38th International Conference on Machine Learning, 2021

On the Optimality of Backward Regression: Sparse Recovery and Subset Selection.

[BibT_eX]

[DOI]

Sebastian Ament

Proceedings of the IEEE International Conference on Acoustics, 2021

CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games.

[BibT_eX]

[DOI]

Yiwei Bai

Di Chen

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.

[BibT_eX]

[DOI]

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

Understanding Decoupled and Early Weight Decay.

[BibT_eX]

[DOI]

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

Learning Augmented Methods for Matching: Improving Invasive Species Management and Urban Mobility.

[BibT_eX]

[DOI]

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

Accelerating Ecological Sciences from Above: Spatial Contrastive Learning for Remote Sensing.

[BibT_eX]

[DOI]

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

Characterizing the Loss Landscape in Non-Negative Matrix Factorization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2020

Efficient Projection Algorithms onto the Weighted l1 Ball.

[BibT_eX]

[DOI]

CoRR, 2020

A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning.

[BibT_eX]

[DOI]

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

Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Junwen Bai

Shufeng Kong

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

Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

AI for Advancing Scientific Discovery for a Sustainable Future.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Task-Based Learning via Task-Oriented Prediction Network.

[BibT_eX]

[DOI]

CoRR, 2019

Deep Reasoning Networks: Thinking Fast and Slow.

[BibT_eX]

[DOI]

CoRR, 2019

Exponentially-Modified Gaussian Mixture Model: Applications in Spectroscopy.

[BibT_eX]

[DOI]

Sebastian Ament

John M. Gregoire

CoRR, 2019

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

[BibT_eX]

[DOI]

Commun. ACM, 2019

Intelligent systems for geosciences: an essential research agenda.

[BibT_eX]

[DOI]

Commun. ACM, 2019

Imitation Refinement for X-ray Diffraction Signal Processing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2019

Computational Sustainability.

[BibT_eX]

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

CPU-accelerated principal-agent game for scalable citizen science.

[BibT_eX]

[DOI]

Anmol Kabra

Proceedings of the Conference on Computing & Sustainable Societies, 2019

Bias Reduction via End-to-End Shift Learning: Application to Citizen Science.

[BibT_eX]

[DOI]

Di Chen

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

Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant.

[BibT_eX]

[DOI]

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

2018

Understanding Batch Normalization.

[BibT_eX]

[DOI]

CoRR, 2018

Imitation Refinement.

[BibT_eX]

[DOI]

CoRR, 2018

Phase Mapper: Accelerating Materials Discovery with AI.

[BibT_eX]

[DOI]

Robert Bruce van Dover

John M. Gregoire

AI Mag., 2018

Understanding Batch Normalization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Di Chen

Jonathan Michael Gomes Selman

Proceedings of the 35th International Conference on Machine Learning, 2018

Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework.

[BibT_eX]

[DOI]

Qinru Shi

Roosevelt García-Villacorta

Suresh Sethi

Alexander S. Flecker

Jonathan Michael Gomes Selman

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

Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks.

[BibT_eX]

[DOI]

Qinru Shi

Roosevelt García-Villacorta

Alexander S. Flecker

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.

[BibT_eX]

[DOI]

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

Extending the Capacity of 1 / f Noise Generation.

[BibT_eX]

[DOI]

Guillaume Perez

Brendan Rappazzo

Proceedings of the Principles and Practice of Constraint Programming, 2018

Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin.

[BibT_eX]

[DOI]

Xiaojian Wu

Jonathan Gomes-Selman

Qinru Shi

Roosevelt García-Villacorta

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Multi-Entity Dependence Learning With Rich Context via Conditional Variational Auto-Encoder.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

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

[BibT_eX]

[DOI]

CoRR, 2017

XOR-Sampling for Network Design with Correlated Stochastic Events.

[BibT_eX]

[DOI]

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

Deep Multi-species Embedding.

[BibT_eX]

[DOI]

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

Keynotes: Computational sustainability.

[BibT_eX]

[DOI]

Proceedings of the 2017 Sustainable Internet and ICT for Sustainability, 2017

In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.

[BibT_eX]

[DOI]

Mateo Díaz

Ronan Le Bras

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.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 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

Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery.

[BibT_eX]

[DOI]

Robert Bruce van Dover

John M. Gregoire

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

2016

Solving Marginal MAP Problems with NP Oracles and Parity Constraints.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 33nd International Conference on Machine Learning, 2016

Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

Avicaching: A Two Stage Game for Bias Reduction in Citizen Science.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem.

[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

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.

[BibT_eX]

[DOI]

Robert Bruce van Dover

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

Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models.

[BibT_eX]

[DOI]

AI Mag., 2014

Computational Sustainability: Editorial Introduction to the Summer and Fall Issues.

[BibT_eX]

[DOI]

Eric Eaton

Brian Charles Williams

AI Mag., 2014

Computational Sustainability.

[BibT_eX]

[DOI]

Eric Eaton

Brian Charles Williams

AI Mag., 2014

String Kernels for Complex Time-Series: Counting Targets from Sensed Movement.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Pattern Recognition, 2014

Low-density Parity Constraints for Hashing-Based Discrete Integration.

[BibT_eX]

[DOI]

Proceedings of the 31th International Conference on Machine Learning, 2014

A Human Computation Framework for Boosting Combinatorial Solvers.

[BibT_eX]

[DOI]

Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, 2014

On the Erdős Discrepancy Problem.

[BibT_eX]

[DOI]

Ronan Le Bras

Proceedings of the Principles and Practice of Constraint Programming, 2014

Uncovering Hidden Structure through Parallel Problem Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Designing Fast Absorbing Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Challenges in Materials Discovery - Synthetic Generator and Real Datasets.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Learning policies for battery usage optimization in electric vehicles.

[BibT_eX]

[DOI]

Mach. Learn., 2013

A Human/Computer Learning Network to Improve Biodiversity Conservation and Research.

[BibT_eX]

[DOI]

AI Mag., 2013

Optimization With Parity Constraints: From Binary Codes to Discrete Integration.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, 2013

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Embed and Project: Discrete Sampling with Universal Hashing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ronan LeBras

Proceedings of the IJCAI 2013, 2013

Crowdsourcing Backdoor Identification for Combinatorial Optimization.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Machine Learning, 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

Uniform Solution Sampling Using a Constraint Solver As an Oracle.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

SMT-Aided Combinatorial Materials Discovery.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Density Propagation and Improved Bounds on the Partition Function.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Probabilistic planning with non-linear utility functions and worst-case guarantees.

[BibT_eX]

[DOI]

Alexander Vladimirsky

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

From Streamlined Combinatorial Search to Efficient Constructive Procedures.

[BibT_eX]

[DOI]

Ronan LeBras

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Introduction to special issue on computational sustainability.

[BibT_eX]

[DOI]

Qiang Yang

ACM Trans. Intell. Syst. Technol., 2011

Generating highly balanced sudoku problems as hard problems.

[BibT_eX]

[DOI]

J. Heuristics, 2011

Accelerated Adaptive Markov Chain for Partition Function Computation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Flat Histogram Method for Computing the Density of States of Combinatorial Problems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Risk-Sensitive Policies for Sustainable Renewable Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 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

Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.

[BibT_eX]

[DOI]

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

A message passing approach to multiagent gaussian inference for dynamic processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Maximizing the Spread of Cascades Using Network Design.

[BibT_eX]

[DOI]

Proceedings of the UAI 2010, 2010

Playing games against nature: optimal policies for renewable resource allocation.

[BibT_eX]

[DOI]

Proceedings of the UAI 2010, 2010

Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

Challenges for CPAIOR in Computational Sustainability.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 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

Computing the Density of States of Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 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

Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Satisfiability, 2009

Exploiting Runtime Variation in Complete Solvers.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Satisfiability, 2009

A generative power-law search tree model.

[BibT_eX]

[DOI]

Alda Carvalho

Nuno Crato

Comput. Oper. Res., 2009

Backdoors in the Context of Learning.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search.

[BibT_eX]

[DOI]

Yunsong Guo

Proceedings of the IJCAI 2009, 2009

Learning Optimal Subsets with Implicit User Preferences.

[BibT_eX]

[DOI]

Yunsong Guo

Proceedings of the IJCAI 2009, 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

Challenges for Constraint Reasoning and Optimization in Computational Sustainability.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Satisfiability Solvers.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

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

[BibT_eX]

[DOI]

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

Connections in Networks: A Hybrid Approach.

[BibT_eX]

[DOI]

Willem Jan van Hoeve

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.

[BibT_eX]

[DOI]

Jörg Hoffmann

Log. Methods Comput. Sci., 2007

Regular-SAT: A many-valued approach to solving combinatorial problems.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2007

Sampling and Soundness: Can We Have Both?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

SAT Encodings of State-Space Reachability Problems in Numeric Domains.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

From Sampling to Model Counting.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Connections in Networks: Hardness of Feasibility Versus Optimality.

[BibT_eX]

[DOI]

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

Tradeoffs in the Complexity of Backdoor Detection.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

Optimal Multi-Agent Scheduling with Constraint Programming.

[BibT_eX]

[DOI]

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

Counting CSP Solutions Using Generalized XOR Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 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

2006

Randomness and Structure.

[BibT_eX]

[DOI]

Toby Walsh

Proceedings of the Handbook of Constraint Programming, 2006

QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 19, 2006

Adventures in Randomized Computational Methods.

[BibT_eX]

[DOI]

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

The Power of Semidefinite Programming Relaxations for MAX-SAT.

[BibT_eX]

[DOI]

Willem Jan van Hoeve

Lucian Leahu

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

Constraint Programming for Distributed Planning and Scheduling.

[BibT_eX]

[DOI]

Willem Jan van Hoeve

Proceedings of the Distributed Plan and Schedule Management, 2006

Model Counting: A New Strategy for Obtaining Good Bounds.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

The Impact of Balancing on Problem Hardness in a Highly Structured Domain.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Statistical Regimes Across Constrainedness Regions.

[BibT_eX]

[DOI]

Constraints An Int. J., 2005

Sensor networks and distributed CSP: communication, computation and complexity.

[BibT_eX]

[DOI]

Bhaskar Krishnamachari

Magda Valls

Artif. Intell., 2005

Streamlining Local Search for Spatially Balanced Latin Squares.

[BibT_eX]

[DOI]

Casey Smith

Cèsar Fernández

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.

[BibT_eX]

[DOI]

Lucian Leahu

Proceedings of the Principles and Practice of Constraint Programming, 2005

The Achilles' Heel of QBF.

[BibT_eX]

[DOI]

Carlos Ansótegui

Proceedings of the Proceedings, 2005

2004

An improved approximation algorithm for the partial Latin square extension problem.

[BibT_eX]

[DOI]

Rommel G. Regis

David B. Shmoys

Oper. Res. Lett., 2004

Approximations and Randomization to Boost CSP Techniques.

[BibT_eX]

[DOI]

David B. Shmoys

Ann. Oper. Res., 2004

The Challenge of Generating Spatially Balanced Scientific Experiment Designs.

[BibT_eX]

[DOI]

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

The Cardinality Matrix Constraint.

[BibT_eX]

[DOI]

Jean-Charles Régin

Proceedings of the Principles and Practice of Constraint Programming, 2004

Quality of LP-Based Approximations for Highly Combinatorial Problems.

[BibT_eX]

[DOI]

Lucian Leahu

Proceedings of the Principles and Practice of Constraint Programming, 2004

Streamlined Constraint Reasoning.

[BibT_eX]

[DOI]

Meinolf Sellmann

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Técnicas de resolución de problemas de satisfacción de restricciones.

[BibT_eX]

[DOI]

Felip Manyà

Inteligencia Artif., 2003

Backdoors To Typical Case Complexity.

[BibT_eX]

[DOI]

Ryan Williams

Proceedings of the IJCAI-03, 2003

Grid-based SensorDCSP.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

2002

AAAI 2002 Workshops.

[BibT_eX]

[DOI]

AI Mag., 2002

AAAI 2002 Fall Symposium Series Reports.

[BibT_eX]

[DOI]

AI Mag., 2002

Communication and Computation in Distributed CSP Algorithms.

[BibT_eX]

[DOI]

Cèsar Fernández

Ramón Béjar

Bhaskar Krishnamachari

Proceedings of the Principles and Practice of Constraint Programming, 2002

Dynamic Restart Policies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2001

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2001

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report).

[BibT_eX]

[DOI]

David Maxwell Chickering

Electron. Notes Discret. Math., 2001

Extending the Reach of SAT with Many-Valued Logics.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2001

AAAI 2000 Workshop Reports.

[BibT_eX]

[DOI]

AI Mag., 2001

Algorithm portfolios.

[BibT_eX]

[DOI]

Artif. Intell., 2001

A Bayesian Approach to Tackling Hard Computational Problems.

[BibT_eX]

[DOI]

David Maxwell Chickering

Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Balance and Filtering in Structured Satisfiable Problems.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Formal Models of Heavy-Tailed Behavior in Combinatorial Search.

[BibT_eX]

[DOI]

Hubie Chen

Proceedings of the Principles and Practice of Constraint Programming, 2001

Capturing Structure with Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

Hybrid Search Strategies for Heterogeneous Search Spaces.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2000

Structure, Duality, and Randomization: Common Themes in AI and OR.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

On the Fine Structure of Large Search Spaces.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Boosting Combinatorial Search Through Randomization.

[BibT_eX]

[DOI]

Henry A. Kautz

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Douglas R. Smith

Stephen J. Westfold

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Heavy-Tailed Distributions in Combinatorial Search.

[BibT_eX]

[DOI]

Nuno Crato

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Julie Hsu

SIGART Bull., 1996

Synthesis of schedulers for planned shutdowns of power plants.

[BibT_eX]

[DOI]