Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by L. Fortnow
Proving SAT Does Not Have Small Circuits With an Application to the Two Queries Problem
Related publications
Proving the Safety of SQL Queries
Does Science Have a Bullying Problem?
Nature
Multidisciplinary
To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale
Common Knowledge Does Not Have the Beth Property
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Existence and Uniqueness for a Two-Point Problem With an Application to the Electrical Heating in an Electrolyte
Quarterly of Applied Mathematics
Applied Mathematics
A Combinatorial Consistency Lemma With Application to Proving the PCP Theorem
SIAM Journal on Computing
Mathematics
Computer Science
Extending Coq With Imperative Features and Its Application to SAT Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving the SAT Problem Using Genetic Algorithm
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
The Three-State Perfect Phylogeny Problem Reduces to 2-Sat
Communications in Information and Systems
