%0 Conference Paper %1 conf/lpnmr/VandesandeWB22 %A Vandesande, Dieter %A Wulf, Wolf De %A Bogaerts, Bart %B LPNMR %D 2022 %E Gottlob, Georg %E Inclezan, Daniela %E Maratea, Marco %I Springer %K dblp %P 429-442 %T QMaxSATpb: A Certified MaxSAT Solver. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#VandesandeWB22 %V 13416 %@ 978-3-031-15707-3

@inproceedings{conf/lpnmr/VandesandeWB22, added-at = {2022-09-10T00:00:00.000+0200}, author = {Vandesande, Dieter and Wulf, Wolf De and Bogaerts, Bart}, biburl = {https://www.bibsonomy.org/bibtex/26fd28e36b380ddc31891e5962aa8fc1e/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2022}, editor = {Gottlob, Georg and Inclezan, Daniela and Maratea, Marco}, ee = {https://doi.org/10.1007/978-3-031-15707-3_33}, interhash = {be5d547be664a4a5897d1c469a54fb8f}, intrahash = {6fd28e36b380ddc31891e5962aa8fc1e}, isbn = {978-3-031-15707-3}, keywords = {dblp}, pages = {429-442}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:58:14.000+0200}, title = {QMaxSATpb: A Certified MaxSAT Solver.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#VandesandeWB22}, volume = 13416, year = 2022 }