- Planar Fault-Tolerant Circuits for Non-Clifford Gates on the 2D Color Code
2025/05/08 by Andreas Bauer, Julio C. Magdalena de la Fuente, Bauer, Andreas +2 · 5 citations
Computer Science · Physics and Astronomy · #Code (set theory) #Decoding methods #Electronic circuit #Integrated circuit #Interconnection Networks and Systems #Logic gate #NOR logic #Path (computing) #Planar #Quantum Computing Algorithms and Architecture #Quantum many-body systems #Quantum-Dot Cellular Automata #Representation (politics) #Topology (electrical circuits) #Traverse #Truth table
- Frege, Boolos, and Logical Objects
2004/02/01 by David J. Anderson, Edward N. Zalta · 2 citations
Computer Science · Mathematics · Psychology · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Algorithm #Coherence theory of truth #Comprehension #Computer science #Epistemology #Logical consequence #Mathematics #Philosophy #Philosophy and Theoretical Science #Pragmatic theory of truth #Programming language #Relation (database) #Truth table #Truth value
- A linear-time algorithm for testing the truth of certain quantified boolean formulas
1979/03/01 by Bengt Aspvall, Michael F. Plass, Robert E. Tarjan +1 · 13 citations
Computer Science · Mathematics · #Algorithm #Boolean expression #Boolean function #Complexity and Algorithms in Graphs #Computer science #Formal Methods in Verification #Machine Learning and Algorithms #Mathematics #Theoretical computer science #Time complexity #True quantified Boolean formula #Truth table