Finite fields and propositional proof systems Conferences

authors

• Soltys, Michael

status

• published 

publication date

• January 1, 2003

published in

• 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS  Journal

presented at event

• 7th World Multiconference on Systemics, Cybernetics and Informatics  Conference

keywords

• Computer Science
• Computer Science, Artificial Intelligence
• Computer Science, Theory & Methods
• Frege systems
• Science & Technology
• Technology
• finite fields
• propositional proof complexity

International Standard Book Number (ISBN) 10

• 980-6560-01-9

start page

• 141

end page

• 146