%0 Conference Paper %1 conf/sat/PaxianR018 %A Paxian, Tobias %A Reimer, Sven %A Becker, Bernd %B SAT %D 2018 %E Beyersdorff, Olaf %E Wintersteiger, Christoph M. %I Springer %K %P 37-53 %T Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. %U http://dblp.uni-trier.de/db/conf/sat/sat2018.html#PaxianR018 %V 10929 %@ 978-3-319-94144-8

@inproceedings{conf/sat/PaxianR018, added-at = {2023-12-12T19:04:04.000+0100}, author = {Paxian, Tobias and Reimer, Sven and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2a96528733adeca82125e6ebc97ae912f/admin}, booktitle = {SAT}, crossref = {conf/sat/2018}, editor = {Beyersdorff, Olaf and Wintersteiger, Christoph M.}, ee = {https://doi.org/10.1007/978-3-319-94144-8_3}, interhash = {1b447f55b3d6526f1a19b378c7a976c6}, intrahash = {a96528733adeca82125e6ebc97ae912f}, isbn = {978-3-319-94144-8}, keywords = {}, pages = {37-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:04:04.000+0100}, title = {Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2018.html#PaxianR018}, volume = 10929, year = 2018 }