Login / Signup
Pavel Smirnov
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Initial Set
Pseudo Boolean Optimization
Domain Knowledge
Markov Chain
Top Venues
SAT
CP
</>
Publications
</>
Pavel Smirnov
,
Jeremias Berg
,
Matti Järvisalo
Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization.
SAT
(2022)
Pavel Smirnov
,
Jeremias Berg
,
Matti Järvisalo
Pseudo-Boolean Optimization by Implicit Hitting Sets.
CP
(2021)