Open AccessPolynomial Simulation and Refutation of Complex Formulas of Resolution over Linear Equations in Propositional Proof System
Author(s) -
Vishwa Nath Maurya,
Avadhesh Kumar Maurya
Publication year - 2014
Publication title -
american journal of modeling and optimization
Language(s) - English
Resource type - Journals
eISSN - 2333-1267
pISSN - 2333-1143
DOI - 10.12691/ajmo-2-1-5
Subject(s) - mathematical proof , bounded function , resolution (logic) , mathematics , propositional formula , sequence (biology) , proof complexity , exponential function , discrete mathematics , conjunctive normal form , propositional variable , computer science , mathematical analysis , theoretical computer science , intermediate logic , artificial intelligence , description logic , geometry , biology , genetics