%0 Conference Paper %1 conf/sat/0003BJ22 %A Smirnov, Pavel %A Berg, Jeremias %A Järvisalo, Matti %B SAT %D 2022 %E Meel, Kuldeep S. %E Strichman, Ofer %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 13:1-13:18 %T Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. %U http://dblp.uni-trier.de/db/conf/sat/sat2022.html#0003BJ22 %V 236 %@ 978-3-95977-242-6

@inproceedings{conf/sat/0003BJ22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Smirnov, Pavel and Berg, Jeremias and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/2904e1afd3f7cf7b92a1b835451be2f64/dblp}, booktitle = {SAT}, crossref = {conf/sat/2022}, editor = {Meel, Kuldeep S. and Strichman, Ofer}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2022.13}, interhash = {526c32a609a105863dc95c321e47990d}, intrahash = {904e1afd3f7cf7b92a1b835451be2f64}, isbn = {978-3-95977-242-6}, keywords = {dblp}, pages = {13:1-13:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2022.html#0003BJ22}, volume = 236, year = 2022 }