کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661878 | 1633485 | 2012 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Towards – via proof complexity and search
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
This is a survey of work on proof complexity and proof search from a logico-algorithmic viewpoint, as motivated by the versus problem. We discuss propositional proof complexity, Cook’s program, proof automatizability, proof search, algorithms for satisfiability, and the state of the art of our (in)ability to separate and .
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 7, July 2012, Pages 906-917
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 7, July 2012, Pages 906-917