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

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