%0 Conference Paper %1 conf/cp/SmirnovBJ21 %A Smirnov, Pavel %A Berg, Jeremias %A Järvisalo, Matti %B CP %D 2021 %E Michel, Laurent D. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 51:1-51:20 %T Pseudo-Boolean Optimization by Implicit Hitting Sets. %U http://dblp.uni-trier.de/db/conf/cp/cp2021.html#SmirnovBJ21 %V 210 %@ 978-3-95977-211-2

@inproceedings{conf/cp/SmirnovBJ21, added-at = {2021-11-04T00:00:00.000+0100}, author = {Smirnov, Pavel and Berg, Jeremias and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/262ea92a6641ff6fe53e0e95468725ea8/dblp}, booktitle = {CP}, crossref = {conf/cp/2021}, editor = {Michel, Laurent D.}, ee = {https://doi.org/10.4230/LIPIcs.CP.2021.51}, interhash = {0d23c38ea20627f35eca931c0b138bfb}, intrahash = {62ea92a6641ff6fe53e0e95468725ea8}, isbn = {978-3-95977-211-2}, keywords = {dblp}, pages = {51:1-51:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T22:50:03.000+0200}, title = {Pseudo-Boolean Optimization by Implicit Hitting Sets.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2021.html#SmirnovBJ21}, volume = 210, year = 2021 }