{"product_id":"proof-complexity-generators","title":"Proof Complexity Generators","description":"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.","brand":"EMKA","offers":[{"title":"Default Title","offer_id":50981933973835,"sku":"9781009611701","price":78.75,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/3549\/8785\/files\/ff8913ea2c6d7df452aa5db331b244ec.jpg?v=1765918100","url":"https:\/\/emka.si\/products\/proof-complexity-generators","provider":"EMKA","version":"1.0","type":"link"}