%0 Conference Paper %1 conf/cade/BergBNOV23 %A Berg, Jeremias %A Bogaerts, Bart %A Nordström, Jakob %A Oertel, Andy %A Vandesande, Dieter %B CADE %D 2023 %E Pientka, Brigitte %E Tinelli, Cesare %I Springer %K dblp %P 1-22 %T Certified Core-Guided MaxSAT Solving. %U http://dblp.uni-trier.de/db/conf/cade/cade2023.html#BergBNOV23 %V 14132 %@ 978-3-031-38499-8

@inproceedings{conf/cade/BergBNOV23, added-at = {2023-09-14T00:00:00.000+0200}, author = {Berg, Jeremias and Bogaerts, Bart and Nordström, Jakob and Oertel, Andy and Vandesande, Dieter}, biburl = {https://www.bibsonomy.org/bibtex/2df9ee73e91f98e6eb927d7da5806919f/dblp}, booktitle = {CADE}, crossref = {conf/cade/2023}, editor = {Pientka, Brigitte and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-031-38499-8_1}, interhash = {1834e98e6c2c9c0b3a916ba82ca96b27}, intrahash = {df9ee73e91f98e6eb927d7da5806919f}, isbn = {978-3-031-38499-8}, keywords = {dblp}, pages = {1-22}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {Certified Core-Guided MaxSAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2023.html#BergBNOV23}, volume = 14132, year = 2023 }