Login / Signup
Akop Palyan
Publication Activity (10 Years)
Years Active: 2008-2008
Publications (10 Years): 0
</>
Publications
</>
Knot Pipatsrisawat
,
Akop Palyan
,
Mark Chavira
,
Arthur Choi
,
Adnan Darwiche
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis.
J. Satisf. Boolean Model. Comput.
4 (2-4) (2008)