2-cnfs and logical embeddings

DOI10.1007/S11225-009-9206-1zbMath1182.03027OpenAlexW2160262048MaRDI QIDQ1035838

Robert H. Cowen

Publication date: 4 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9206-1

zbMATH Keywords

2-cnfs3-cnfslogical embeddings

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Classical propositional logic (03B05)

Cites Work

• Two hypergraph theorems equivalent to BPI
• 2-satisfiability and diagnosing fault processors in massively parallel computing systems
• Unnamed Item
• Unnamed Item

This page was built for publication: 2-cnfs and logical embeddings