KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Verlagsausgabe
DOI: 10.5445/IR/1000069404
Veröffentlicht am 09.07.2018

Sound Probabilistic #SAT with Projection

Klebanov, Vladimir; Weigl, Alexander; Weisbarth, Jörg



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2016
Sprache Englisch
Identifikator ISSN: 2075-2180
URN: urn:nbn:de:swb:90-694047
KITopen-ID: 1000069404
Erschienen in Electronic proceedings in theoretical computer science
Band 227
Seiten 15–29
Bemerkung zur Veröffentlichung 14th International Workshop on Quantitative Aspects of Programming Languages and Systems; Eindhoven; Netherlands; 2 April 2016 through 3 April 2016
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page