Login / Signup
Asanka Wickramasinghe
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Boolean Satisfiability
Stochastic Local Search Algorithms
Davis Putnam Logemann Loveland
Sat Solvers
Top Venues
CoRR
</>
Publications
</>
Ortho Flint
,
Asanka Wickramasinghe
,
Jason Brasse
,
Christopher Fowler
Determining satisfiability of 3-SAT in polynomial time.
CoRR
(2019)