Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/200790
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_23
-
Titel: 
Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs
en
Zitat: 
Nukala, K., Choudhuri, S., Bryant, R., & Heule, M. J. H. (2024). Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 175–185). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_23
-
reposiTUm-DOI: 
10.34727/2024/isbn.978-3-85448-065-5_23
-
CatalogPlus: 
AC17313119
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Nukala, Karthik 
Choudhuri, Soumyaditya 
Bryant, Randal 
Heule, Marijn J. H. 
-
Herausgeber_innen: 
Narodytska, Nina 
Rümmer, Philipp 
-
Organisations­einheit: 
E000 - Technische Universität Wien 
-
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
-
Peer Reviewed: 
Ja
-
Keywords: 
formale Methoden
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
(423.49 kB)
Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs
Open Access CC BY 4.0
Zur Langanzeige

Seiten Aufrufe

699
aufgerufen am 23.09.2024

Download(s)

136
aufgerufen am 23.09.2024

Google ScholarTM

Check