%0 Conference Paper %1 conf/cp/DemirovicMMNOS24 %A Demirovic, Emir %A McCreesh, Ciaran %A McIlree, Matthew J. %A Nordström, Jakob %A Oertel, Andy %A Sidorov, Konstantin %B CP %D 2024 %E Shaw, Paul %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:21 %T Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. %U http://dblp.uni-trier.de/db/conf/cp/cp2024.html#DemirovicMMNOS24 %V 307 %@ 978-3-95977-336-2

@inproceedings{conf/cp/DemirovicMMNOS24, added-at = {2024-08-30T00:00:00.000+0200}, author = {Demirovic, Emir and McCreesh, Ciaran and McIlree, Matthew J. and Nordström, Jakob and Oertel, Andy and Sidorov, Konstantin}, biburl = {https://www.bibsonomy.org/bibtex/2e7c9e517e52c8b47da8ae02be83973cb/dblp}, booktitle = {CP}, crossref = {conf/cp/2024}, editor = {Shaw, Paul}, ee = {https://doi.org/10.4230/LIPIcs.CP.2024.9}, interhash = {b2bbb4f544521c9fe9ddb3b73e823bda}, intrahash = {e7c9e517e52c8b47da8ae02be83973cb}, isbn = {978-3-95977-336-2}, keywords = {dblp}, pages = {9:1-9:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-09-02T07:08:25.000+0200}, title = {Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2024.html#DemirovicMMNOS24}, volume = 307, year = 2024 }