Old Web
English
Sign In
Acemap
>
Paper
>
Proving SAT does not have Small Circuits with an Application to the Two
Proving SAT does not have Small Circuits with an Application to the Two
2003
Lance Fortnow
Pavan Aduri
Samik Sengupta
Keywords:
Electronic circuit
Discrete mathematics
Satisfiability
Time complexity
Mathematics
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]