KIT | KIT-Bibliothek | Impressum

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 DOI: 10.4204/EPTCS.227.2
ISSN: 2075-2180
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page