activity
19992022
most citedA Bayesian Approach to Tackling Hard Computational Problems

116 citations · 258 across the 11 of their papers we have counts for

collaborators
Showing cs.AIShow all

7 papers · 1 filter

cs.AI2022

Graph Value Iteration

Dieqiao Feng, Carla P. Gomes, Bart Selman

In recent years, deep Reinforcement Learning (RL) has been successful in various combinatorial search domains, such as two-player games and scientific discovery. However, directly…

cs.AI20216 cited

A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances

Dieqiao Feng, Carla P. Gomes, Bart Selman

In recent years, we have witnessed tremendous progress in deep reinforcement learning (RL) for tasks such as Go, Chess, video games, and robot control. Nevertheless, other combinat…

cs.AI20205 cited

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

Dieqiao Feng, Carla P. Gomes, Bart Selman

Despite significant progress in general AI planning, certain domains remain out of reach of current AI planning systems. Sokoban is a PSPACE-complete planning task and represents o…

cs.AI20171 cited

XOR-Sampling for Network Design with Correlated Stochastic Events

Xiaojian Wu, Yexiang Xue, Bart Selman +1

Many network optimization problems can be formulated as stochastic network design problems in which edges are present or absent stochastically. Furthermore, protective actions can…

cs.AI20136 cited

Algorithm Portfolio Design: Theory vs. Practice

Carla P. Gomes, Bart Selman

Stochastic algorithms are among the best for solving computationally hard search and reasoning problems. The runtime of such procedures is characterized by a random variable. Diffe…

cs.AI2013116 cited

A Bayesian Approach to Tackling Hard Computational Problems

Eric J. Horvitz, Yongshao Ruan, Carla P. Gomes +3

We are developing a general framework for using learned Bayesian models for decision-theoretic control of search and reasoningalgorithms. We illustrate the approach on the specific…