%0 Conference Paper %1 conf/fmcad/CodelAH23 %A Codel, Cayden R. %A Avigad, Jeremy %A Heule, Marijn J. H. %B FMCAD %D 2023 %E Nadel, Alexander %E Rozier, Kristin Yvonne %I IEEE %K dblp %P 141-151 %T Verified Encodings for SAT Solvers. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2023.html#CodelAH23 %@ 978-3-85448-060-0

@inproceedings{conf/fmcad/CodelAH23, added-at = {2023-12-13T00:00:00.000+0100}, author = {Codel, Cayden R. and Avigad, Jeremy and Heule, Marijn J. H.}, biburl = {https://www.bibsonomy.org/bibtex/2bbd85ad8b2aad66efe43d7a3ad9eb539/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2023}, editor = {Nadel, Alexander and Rozier, Kristin Yvonne}, ee = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_22}, interhash = {d9896db9ada85b390ec9d179ed774d8c}, intrahash = {bbd85ad8b2aad66efe43d7a3ad9eb539}, isbn = {978-3-85448-060-0}, keywords = {dblp}, pages = {141-151}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:38.000+0200}, title = {Verified Encodings for SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2023.html#CodelAH23}, year = 2023 }