KIT | KIT-Bibliothek | Impressum | Datenschutz

Sound Probabilistic #SAT with Projection

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

Open Access Logo


Verlagsausgabe §
DOI: 10.5445/IR/1000069404
Veröffentlicht am 09.07.2018
Originalveröffentlichung
DOI: 10.4204/EPTCS.227.2
Scopus
Zitationen: 2
Seitenaufrufe: 23
seit 29.05.2018
Downloads: 31
seit 10.07.2018
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2016
Sprache Englisch
Identifikator ISSN: 2075-2180
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