Title of article
On the automatizability of resolution and related propositional proof systems
Author/Authors
Albert Atserias، نويسنده , , Maria Luisa Bonet، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
20
From page
182
To page
201
Keywords
Feasible interpolation , Automatizability , resolution , Res(2) , Propositional proof complexity , Reflection principles
Journal title
Information and Computation
Serial Year
2004
Journal title
Information and Computation
Record number
262220
Link To Document