Sound Probabilistic #SAT with Projection

Klebanov, Vladimir ¹; Weigl, Alexander

¹; Weisbarth, Jörg ¹
¹ 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

Seitenaufrufe: 150
seit 29.05.2018

Downloads: 220
seit 10.07.2018

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