Random 2-SAT and unsatisfiability
From MaRDI portal
Publication:1607007
DOI10.1016/S0020-0190(99)00128-3zbMath0999.68086MaRDI QIDQ1607007
Publication date: 25 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
68Q25: Analysis of algorithms and problem complexity
68R05: Combinatorics in computer science
03B05: Classical propositional logic
Related Items
Branching Process Approach for 2-Sat Thresholds, Exact location of the phase transition for random (1,2)-QSAT, Random 2-SAT: Results and problems, Generalized satisfiability problems: Minimal elements and phase transitions., A sharp threshold for a random constraint satisfaction problem, Threshold behaviors of a random constraint satisfaction problem with exact phase transitions, The scaling window of the 2-SAT transition
Cites Work