Journals A-Z
All Subjects
Free Journals
sciepub.com

1 results for Proof complexity.

Parameters for your search query:
Keyword    Proof complexity

Open AccessArticle
Export: RIS | BibTeX | EndNote
Polynomial Simulation and Refutation of Complex Formulas of Resolution over Linear Equations in Propositional Proof System
by Vishwa Nath Maurya and Avadhesh Kumar Maurya
American Journal of Modeling and Optimization. 2014, 2(1), 34-38. DOI: 10.12691/ajmo-2-1-5
Pub. Date: March 25, 2014Views: 13821Downloads: 9456
Resolution over linear equations Resolution systems Refutation Proof complexity Hard-determinable formula Polynomial simulation
Abstract Full Text PDF Full Text HTML Full Text ePUB
Results: sort by Relevance

Filter by

Date

Published between:

and

Subjects

Journals

Article Types