Login / Signup

A note on SAT algorithms and proof complexity.

Jan Krajícek
Published in: Inf. Process. Lett. (2012)
Keyphrases