Proceedings

Bart Selman

Department of Computer Science Cornell University

22 papers in the IJCAI proceedings

IJCAI 2020

Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning
with Dieqiao Feng, Carla Gomes
doi:10.24963/ijcai.2020/304
Details PDF

IJCAI 2017

XOR-Sampling for Network Design with Correlated Stochastic Events
with Xiaojian Wu, Yexiang Xue, Carla P. Gomes
doi:10.24963/ijcai.2017/647
Details PDF

IJCAI 2015

Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery
with Yexiang Xue, Stefano Ermon, Carla P. Gomes
Details PDF

IJCAI 2013

Crowdsourcing Backdoor Identification for Combinatorial Optimization
with Ronan LeBras, Richard Bernstein, Carla P. Gomes, R. Bruce van Dover
Details PDF
Double-Wheel Graphs Are Graceful
with Ronan LeBras, Carla P. Gomes
Details PDF

IJCAI 2011

A Flat Histogram Method for Computing the Density of States of Combinatorial Problems
with Stefano Ermon, Carla P. Gomes
doi:10.5591/978-1-57735-516-8/IJCAI11-434
Details PDF
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation
with Stefano Ermon, Jon Conrad, Carla P. Gomes
doi:10.5591/978-1-57735-516-8/IJCAI11-325
Details PDF

IJCAI 2009

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT
with Lukas Kroc, Ashish Sabharwal, Carla P. Gomes
Details PDF

IJCAI 2007

From Sampling to Model Counting
with Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal
Details PDF
Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents
with Ioannis A. Vetsikas, Nicholas R. Jennings
Details PDF
SAT Encodings of State-Space Reachability Problems in Numeric Domains
with Jörg Hoffmann, Carla P. Gomes, Henry A. Kautz
Details PDF

IJCAI 2003

Backdoors To Typical Case Complexity
with Ryan Williams, Carla P. Gomes
Details PDF
Grid-based SensorDCSP
with Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Magda Valls
Details PDF
Sampling Combinatorial Spaces Using Biased Random Walks
with Jordan Erenrich
Details PDF

IJCAI 2001

Balance and Filtering in Structured Satisfiable Problems
with Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Mark E. Stickel
Details PDF

IJCAI 1999

Unifying SAT-based and Graph-based Planning
with Henry A. Kautz
Details PDF

IJCAI 1997

Ten Challenges in Propositional Reasoning and Search
with Henry A. Kautz, David A. McAllester
Details PDF

IJCAI 1995

Stochastic Search and Phase Transitions: AI Meets Physics
Details PDF
Systematic Versus Stochastic Constraint Satisfaction
with Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Edward P. K. Tsang
Details PDF
The Comparative Linguistics of Knowledge Representation
with Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou
Details PDF

IJCAI 1993

Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems
with Henry A. Kautz
Details PDF

IJCAI 1989

The Tractability of Path-Based Inheritance
with Hector J. Levesque
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards