On the satisfiability threshold of formulas with three literals per clause: A bird's eye view of theory

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2009, Vol.410 (30-32), p.2920-2934
Main Authors: DIAZ, J, KIROUSIS, L, MITSCHE, D, PEREZ-GIMENEZ, X
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Miscellaneous
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0304-3975
1879-2294