VSL 2014: VIENNA SUMMER OF LOGIC 2014

A (Biased) Proof Complexity Survey for SAT Practitioners

Author: Jakob Nordstrom

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:A (Biased) Proof Complexity Survey for SAT Practitioners
Authors:Jakob Nordstrom
Proceedings:SAT 2014 LNCS Proceedings
Editors: Carsten Sinz and Uwe Egly
Keywords:
Abstract:
Pages:6
Talk:Jul 15 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program