Papers by Bart Selman

Papers are stored as plain Postscript (.ps) files, or, only as noted, as Adobe Acrobat (.pdf) files. Users of Windows 95, Windows NT, Macintosh or Unix can obtain the free GSView or Ghostview programs to view and print the PostScript files (including printing on non-Postscript printers) from the Ghostscript Home Page. The free Adobe Acrobat reader for all platforms can be obtained from Adobe home page.

Boosting Combinatorial Search Through Randomization.
Carla P. Gomes, Bart Selman, and Henry Kautz. Proc. AAAI-98, Madison, WI, July 1998./
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.
Carla P. Gomes, Bart Selman, Ken McAloon, and Carol Tret. Proc. AIPS-98, Pittsburgh, PA, June 1998./
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. Figs. are in separate .ps
Henry Kautz and Bart Selman. Proc. AIPS-98, Pittsburgh, PA, June 1998./
Problem Structure in the Presence of Perturbations.
Carla P. Gomes and Bart Selman. Proc. AAAI-97, Providence, RI., 1997./
Algorithm Portfolio Design: Theory vs. Practice.
Carla P. Gomes and Bart Selman. Proc. of the Thirteenth Conference On Uncertainty in Artificial Intelligence (UAI-97), Providence, RI, 1997./
Stochastic Search
Bart Selman. Appears in the MIT Encyclopedia of Cognitive Science, forthcoming.
Ten Challenges in Propositional Reasoning and Search
Bart Selman, Henry Kautz, and David McAllester. Proc. IJCAI-97, Nagoya, Aichi, Japan, 1997. Abstract.
Exploiting Variable Dependency in Local Search.
Henry Kautz, David McAllester, and Bart Selman. DRAFT. Abstract appears in Abstracts of the Poster Sessions of IJCAI-97, Nagoya, Japan, 1997. Abstract.
The Hidden Web
Henry Kautz, Bart Selman, and Mehul Shah. The AI Magazine, vol. 18, no. 2, Summer 1997, pages 27 - 36. In Adobe Acrobat format. Abstract.
Evidence for Invariants in Local Search.
David McAllester, Bart Selman, and Henry Kautz. Proc. AAAI-97, Providence, RI, 1997. Abstract.
ReferralWeb: Combining Social Networks and Collaborative Filtering.
Henry Kautz, Bart Selman, and Mehul Shah. Comm. ACM, vol. 30 no. 3, March 1997.
Local Search Strategies for Satisfiability Testing
Bart Selman and Henry Kautz, DIMACS Series in Discrete Mathematics. (to appear)
Encoding Plans in Propositional Logic.
Henry Kautz, David McAllester, and Bart Selman. Proc. KR-96.
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search.
Henry Kautz and Bart Selman, Proc. AAAI-96.
The Comparative Linguistics of Knowledge Representation.
Goran Gogic, Henry Kautz, Christos Papadimitriou, and Bart Selman, Proc. IJCAI-95.
Agent Amplified Communication.
Henry Kautz and Bart Selman, Proc. AAAI-96 (earlier version, AAAI-95 Spring Symposium).
Knowledge Compilation and Theory Approximation.
Bart Selman and Henry Kautzr, Journal of the ACM, 43(2):193-224, March 1996.
Solving Problems with Hard and Soft Constraints Using A Stochastic Algorithm for MAX-SAT
Yueyun Jiang, Henry Kautz, and Bart Selman, 1st International Joint Workshop on Artificial Intelligence and Operations Research, 1995.
Horn Approximations of Empirical Data.
Henry Kautz, Michael Kearns, and Bart Selman. Draft (near-final) version. Final version appears in Artificial Intelligence, 74/1 (pp. 129-145) 30 March 1995.
Critical Behavior in the Satisfiability of Random Boolean Expressions.
Scott Kirkpatrick and Bart Selman, Science, Vol. 264, 1994, 1297--1301.
Noise Strategies for Improving Local Search.
Bart Selman and Henry Kautz, Proc. AAAI-94.
An Experiment in the Design of Software Agents.
Henry Kautz, Bart Selman, Michael Coen, Steven Ketchpel, and Chris Ramming, Proc. AAAI-94.
An Empirical Evaluation of Knowledge Compilation.
Henry Kautz and Bart Selman, Proc. AAAI-94. (Extended version).
GSAT User's Guide.
Henry Kautz and Bart Selman.
Local Search Strategies for Satisfiability Testing.
Bart Selman and Henry Kautz, Draft.
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems.
Bart Selman and Henry Kautz, Proc. IJCAI-93.
Reasoning With Characteristic Models.
Henry Kautz, Michael Kearn, Bart Selman, Proc. AAAI-93.
An Empirical Study of Greedy Local Search for Satisfiability Testing.
Bart Selman and Henry Kautz, Proc. AAAI-93.
Planning as Satisfiability.
Henry Kautz and Bart Selman, Proceedings ECAI-92.
Forming Concepts for Fast Inferencer.
Henry Kautz and Bart Selman, Proceedings AAAI-92.
A General Framework for Knowledge Compilation.
Henry Kautz and Bart Selman, PDK-91, WOCFAI-91.
Knowledge Compilation Using Horn Approximations.
Bart Selman and Henry Kautz, Proceedings AAAI-91.
Hard and Easy Distribution of SAT Problems.
David Mitchell, Bart Selman, and Hector Levesque, Proceedings AAAI-92.
A New Method for Solving Hard Satisfiability Problems.
Bart Selman, Hector Levesque and David Mitchell, Proceedings AAAI-92.
More papers.

Back to my personal home page page.


Sat, Febr 29, 1998
selman@cs.cornell.edu