{"type":"ScholarlyArticle","title":"Ten Challenges in Propositional Reasoning and Search","authors":[{"name":"Bart Selman","slug":"bart-selman","given":"Bart","family":"Selman","affiliation":""},{"name":"Henry A. Kautz","slug":"henry-a-kautz","given":"Henry A.","family":"Kautz","affiliation":""},{"name":"David A. McAllester","slug":"david-a-mcallester","given":"David A.","family":"McAllester","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1997/8","pdf":"https://ijcai.org/proceedings/1997/0008.pdf","markdown":"https://ijcai.org/proceedings/1997/8.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/8","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"AI Challenges","track":"AI Challenges","number":8,"pages":{"first":50,"last":53},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}