Login / Signup
Soumya C. Kambhampati
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Sat Instances
Sat Problem
Random Constraint Satisfaction Problems
Propositional Satisfiability
Top Venues
CoRR
AAAI
</>
Publications
</>
Soumya C. Kambhampati
,
Thomas Liu
Phase Transition and Network Structure in Realistic SAT Problems.
AAAI
(2013)
Soumya C. Kambhampati
,
Thomas Liu
Phase Transition and Network Structure in Realistic SAT Problems
CoRR
(2013)