This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted.
Ik heb een vraag over het boek: ‘Proof Complexity Generators - Krajicek, Jan (Charles University’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
