Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/200791
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_24
-
Titel: 
Verified Substitution Redundancy Checking
en
Zitat: 
Codel, C., Avigad, J., & Heule, M. J. H. (2024). Verified Substitution Redundancy Checking. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 186–196). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_24
-
reposiTUm-DOI: 
10.34727/2024/isbn.978-3-85448-065-5_24
-
CatalogPlus: 
AC17313120
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Codel, Cayden 
Avigad, Jeremy 
Heule, Marijn J. H. 
-
Herausgeber_innen: 
Narodytska, Nina 
Rümmer, Philipp 
-
Organisations­einheit: 
E192 - Institut für Logic and Computation
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Reihe: 
Conference Series: Formal Methods in Computer-Aided Design 
-
Erschienen in: 
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 
-
ISBN: 
978-3-85448-065-5
-
Datum (veröffentlicht): 
Okt-2024
-
Umfang: 
11
-
Verlag: 
TU Wien Academic Press, Wien
-
Peer Reviewed: 
Ja
-
Keywords: 
formale Methode
de
 
formal methods
en
Forschungs­schwerpunkte: 
Logic and Computation: 40%
Computer Engineering and Software-Intensive Systems: 40%
Computer Science Foundations: 20%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Lizenz: 
CC BY 4.0 CC BY 4.0
de
Enthalten in den Sammlungen:
Open Access Series
Conference Paper

Volltext (Version of Record (published version))
Adobe PDF
(478.34 kB)
Verified Substitution Redundancy Checking
Open Access CC BY 4.0
Zur Langanzeige

Seiten Aufrufe

691
aufgerufen am 23.09.2024

Download(s)

197
aufgerufen am 23.09.2024

Google ScholarTM

Check