Proof Complexity Generators, Paperback/***

Descriere & specificații

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. Publisher: Cambridge University Press Author(s): Jan (Charles University, Prague) Krajicek Illustration(s): Worked examples or Exercises Number of pages: 134 Collection: London Mathematical Society Lecture Note Series Publication date: 2025 Dimensions: 228 x 153 x 9 Cover type: Paperback / softback

Produse similare

Cambridge University PressCambridge International AS and A Level Travel and Tourism Coursebook with Digital Access (2 Years). 3 Revised edition/Fiona Warburton

252,00 lei277,99 lei-9%

Cambridge University PressUncivil War. The British Army and the Troubles, 1966-1975, Hardback/Huw (Cardiff University) Bennett

180,99 lei

Cambridge University PressAlgebra. Notes from the Underground, Paperback/Paolo Aluffi

269,00 lei316,99 lei-15%

Cambridge University PressTheoretical Foundations of Nanoscale Quantum Devices, Hardcover/Malin Premaratne

418,99 lei

Cambridge University PressTime Series for Data Scientists. Data Management, Description, Modeling and Forecasting, Hardback/***

432,99 lei

Cambridge University PressTacitus and the Principate. From Augustus to Domitian, Paperback/Chris Burnand

171,99 lei

Cambridge University PressMoral and Political Conceptions of Human Rights. Implications for Theory and Practice, Hardback/***

757,99 lei

Cambridge University PressThe Early Christians. From the Beginnings to Constantine, Hardback/***

252,99 lei

Cambridge University PressIssue Publics. How Electoral Constituencies Hide in Plain Sight, Paperback/***

129,99 lei

Cambridge University PressComplete IELTS Bands 6.5-7.5 Teacher's Book, Paperback/Vanessa Jakeman

243,99 lei

Cambridge University PressCombinatorics. Topics, Techniques, Algorithms, Paperback/Peter J. Cameron

432,99 lei

Cambridge University PressMathematics for the Ib Diploma: Higher Level [With CDROM], Paperback/Paul Fannon

470,99 lei