A continuous–discontinuous second‐order transition in the satisfiability of random Horn‐SAT formulas
From MaRDI portal
Publication:5433256
DOI10.1002/rsa.20176zbMath1147.68717OpenAlexW2950052714MaRDI QIDQ5433256
Moshe Y. Vardi, Moore, Cristopher, Demetrios D. Demopoulos, Gabriel I. Istrate
Publication date: 8 January 2008
Published in: Random Structures & Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/rsa.20176
Related Items (2)
Copy complexity of Horn formulas with respect to unit read-once resolution ⋮ Combinatorial Problems for Horn Clauses
Cites Work
This page was built for publication: A continuous–discontinuous second‐order transition in the satisfiability of random Horn‐SAT formulas