An edition of A Survey of Lower Bounds for Satisfiability and Related Problems (2007)
By Dieter Melkebeek van
Publish Date
October 5, 2007
Publisher
Now Publishers Inc
Language
eng
Pages
128
Description:
subjects: Computer algorithms, Computational complexity, Propositional calculus, Infinity, Logic, MATHEMATICS, Computers