KIT | KIT-Bibliothek | Impressum | Datenschutz

Sound Probabilistic #SAT with Projection

Klebanov, Vladimir 1; Weigl, Alexander ORCID iD icon 1; Weisbarth, Jörg 1
1 Karlsruher Institut für Technologie (KIT)


Verlagsausgabe §
DOI: 10.5445/IR/1000069404
Veröffentlicht am 09.07.2018
Originalveröffentlichung
DOI: 10.4204/EPTCS.227.2
Scopus
Zitationen: 3
Dimensions
Zitationen: 5
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2016
Sprache Englisch
Identifikator ISSN: 2075-2180
urn:nbn:de:swb:90-694047
KITopen-ID: 1000069404
Erschienen in Electronic proceedings in theoretical computer science
Verlag Open Publishing Association
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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page