FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Computable Short Proofs

Author: Marijn Heule

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Computable Short Proofs
Authors:Marijn Heule
Proceedings:SAT Proceedings
Editors: Christoph M. Wintersteiger and Olaf Beyersdorff
Keywords:
Abstract:
Pages:3
Talk:Jul 11 11:00 (Session 64F: SAT Invited Talk: Marijn Heule)
Paper: