%0 Conference Paper %1 conf/sat/BerreMW20 %A Berre, Daniel Le %A Marquis, Pierre %A Wallon, Romain %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 322-331 %T On Weakening Strategies for PB Solvers. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#BerreMW20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/BerreMW20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Berre, Daniel Le and Marquis, Pierre and Wallon, Romain}, biburl = {https://www.bibsonomy.org/bibtex/2123791c9429383cb85051f5d44f1be4f/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_23}, interhash = {4b03048e1224783762cf5f293d31f7c2}, intrahash = {123791c9429383cb85051f5d44f1be4f}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {322-331}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:02:59.000+0200}, title = {On Weakening Strategies for PB Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#BerreMW20}, volume = 12178, year = 2020 }