Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA (biased) proof complexity survey for SAT practitioners.
Author(s) Jakob Nordström
TypeBook, Chapter in Book, Conference Proceeding
ISBN978-3-319-09283-6/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-319-09284-3_1
LanguageEnglish
Pages1--6
PublisherBerlin: Springer
Year2014
Edition0
Translation No
Refereed No
Webmaster