---
title: "Ten Challenges in Propositional Reasoning and Search"
authors:
  - "Bart Selman"
  - "Henry A. Kautz"
  - "David A. McAllester"
doi: ""
url: "https://ijcai.org/proceedings/1997/8"
pdf: "https://ijcai.org/proceedings/1997/0008.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "50-53"
track: "AI Challenges"
keywords:
---

# Ten Challenges in Propositional Reasoning and Search

Bart Selman, Henry A. Kautz, David A. McAllester

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 50-53.

## Abstract

The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical challenges that need to be addressed in order to maintain this momentum . This paper outlines concrete technical challenges in the core areas of systematic search, stochastic search, problem encodings, and criteria for evaluating progress in this area.