Login / Signup
Sven Baumer
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Sven Baumer
,
Rainer Schuler
Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs.
SAT
(2003)
Sven Baumer
,
Rainer Schuler
Improving a probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs
Electron. Colloquium Comput. Complex.
10 (010) (2003)