?? http:^^www.cs.washington.edu^education^courses^533^
字號:
Date: Thu, 21 Nov 1996 22:19:42 GMTServer: NCSA/1.4.2Content-type: text/html<html><head><title> CSE 533 - Topics in Complexity, Autumn 1995</title></head><body><h1>CSE533 Propositional Theorem Proving, Satisfiability Testing and Proof Complexity</h1><h2> General information </h2><dl> <dt> Instructor: <a href="http://www.cs.washington.edu/homes/beame"> Paul Beame </a> <dt> Meeting times: Tuesday, Thursday 12:00-1:20 in Loew 113.</dl>Automated theorem proving and computer-aided verification in AI, VLSI, andSoftware Engineering give algorithms that attempt to decide the truthof logical statements in propositional or in first- (or higher-) order logic. This course will concentrate on complexity issues for the propositional caseas well as for its flip side, satisfiability-testing. (Even the uses oftheorem proving in first-order and higher-order logic often involve finitedomains where the proofs can be interpreted in propositional logic anyway.)<dt><dt>We will consider a variety of systems for propositional theoremproving and satisfiability testing. Key issues for such systems are:<li> How complex are proofs within the system?</li><li> What are good choices for search strategies?</li><dt>There has been considerable theoretical and practical work on both of thesequestions. We will concentrate on theoretical issues of proof complexityand of the relative complexity of search strategies. We will also examine anumber of implementations of propositional logic algorithms to compare theoryand practice.<h2> Papers and things </h2><li> <a href=urquhart.ps> Urquhart's Complexity of Proofs Survey </a></li><li> <a href=519.ps> 519 talk slides </a></li><h2> Installed software </h2>For our amusement I have installed a few theorem provers, ANL-DP, Sato, andBoyer Moore as well as one satisfiability tester, Gsat on june in thedirectory:<li>/cse/courses/cse533/provers</li><dt>There are few papers scattered there as well and I am in the process ofinstalling more theorem provers. </html>?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -