Login / Signup
Darya Yagofarova
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Sat Problem
Branch And Bound Algorithm
Probabilistic Planning
Maximum Satisfiability
Top Venues
J. Math. Model. Algorithms Oper. Res.
</>
Publications
</>
Alexander A. Kolokolov
,
Alexander Adelshin
,
Darya Yagofarova
Analysis and Solving SAT and MAX-SAT Problems Using an L-partition Approach.
J. Math. Model. Algorithms Oper. Res.
12 (2) (2013)