Pavel Smirnov

Affiliations:

According to our database¹, Pavel Smirnov authored at least 2 papers between 2021 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Pseudo-Boolean Optimization by Implicit Hitting Sets.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021