Clausal Equivalence Sweeping

Biere, Armin; Fazekas, Katalin; Fleury, Mathias; Froleyks, Nils

doi:10.34727/2024/isbn.978-3-85448-065-5_29

Datensatz Zitierlink:

http://hdl.handle.net/20.500.12708/200796
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_29

Titel:

Zitat:

Biere, A., Fazekas, K., Fleury, M., & Froleyks, N. (2024). Clausal Equivalence Sweeping. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 236–241). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_29

reposiTUm-DOI:

10.34727/2024/isbn.978-3-85448-065-5_29

CatalogPlus:

AC17313143

Publikationstyp:

Konferenzbeitrag - Full-Paper Contribution

Sprache:

Englisch

Autor_innen:

Biere, Armin
Fazekas, Katalin
Fleury, Mathias
Froleyks, Nils

Herausgeber_innen:

Narodytska, Nina
Rümmer, Philipp