RW for ASE crc

MYabrv.bib

@@ -15,6 +15,7 @@ @String{CAiSE
 @String{CASCON = "Proc.\ Conf.\ Centre for Advanced Studies on Collaborative Research (CASCON)"}
 @String{CASSIS = "Proc.\ Int'l Conf.\ on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS)"}
 @String{CAV = "Proc.\ Int'l Conf.\ on Computer Aided Verification (CAV)"}
+@String{CCS = "Proc.\ ACM SIGSAC Conf. on Computer and Communications Security (CCS)"}
 @String{CEC = "Proc.\ Congress Evolutionary Computation (CEC)"}
 @String{CBSOFT = "Proc.\ Brazilian Conf.\ Software: Theory and Practice (CBSoft)"}
 @String{CISTI = "Proc.\ Iberian Conf.\ on Information Systems and Technologies (CISTI)"}
@@ -59,6 +60,7 @@ @String{HICSS
 @String{HVC = "Proc.\ Int'l Haifa Verification Conf.\ (HVC)"}
 @String{ICAI = "Proc.\ Int'l Conf.\ on Artificial Intelligence (ICAI)"}
 @String{ICALP = "Proc.\ Int'l Colloquium on Automata, Languages, and Programming (ICALP)"}
+@String{ICAPS = "Proc.\ Int'l Conf.\ on Automated Planning and Scheduling (ICAPS)"}
 @String{ICCAD = "Proc.\ Int'l Conf.\ on Computer-Aided Design (ICCAD)"}
 @String{ICCD = "Proc.\ Int'l Conf.\ on Computer Design (ICCD)"}
 @String{ICCS = "Proc.\ Int'l Conf.\ on Computational Science (ICCS)"}
@@ -163,6 +165,7 @@ @String{DSPL
 @String{Eclipse = "Proc.\ Workshop on Eclipse Technology eXchange (ETX)"}
 @String{EIWAS = "Proc.\ European Interactive Workshop on Aspects in Software (EIWAS)"}
 @String{FIDE = "Proc.\ Workshop on Formal Integrated Development Environment (F-IDE)"}
+@String{FMICS = "Proc.\ Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS)"}
 @String{FMSPLE = "Proc.\ Int'l Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)"}
 @String{FMTea = "Proc.\ Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea)"}
 @String{FOAL = "Proc.\ Workshop on Foundations of Aspect-Oriented Languages (FOAL)"}
@@ -238,6 +241,7 @@ @String{FSE
 @String{GLSVLSI = "Proc.\ ACM Great Lakes Symposium on VLSI (GLSVLSI)"}
 @String{HASE = "Proc.\ Int'l Symposium on High-Assurance Systems Engineering (HASE)"}
 @String{ICTAC = "Proc.\ Int'l Colloquium on Theoretical Aspects of Computing (ICTAC)"}
+@String{ISAIM = "Proc.\ Int'l Symposium on Artificial Intelligence and Mathematics (ISAIM)"}
 @String{ISCAS = "Proc.\ Int'l Symposium on Circuits and Systems (ISCAS)"}
 @String{ISESE = "Proc.\ Int'l Symposium on Empirical Software Engineering (ISESE)"}
 @String{ISMVL = "Proc.\ Int'l Symposium on Multiple-Valued Logic (ISMVL)"}
@@ -298,6 +302,7 @@ @String{FMSD
 @String{IBMSJ = "IBM Syst. J."}
 @String{IC = "J.\ Information and Computation"}
 @String{IJC = "INFORMS J.\ on Computing"}
+@String{IJAR = "International Journal of Approximate Reasoning (IJAR)"}
 @String{IJAST = "Int'l J.\ Applied Science and Technology (IJAST)"}
 @String{IJBM = "The International Journal of Biological Markers (IJBM)"}
 @String{IJCSI = "Int'l J.\ Computer Science Issues (IJCSI)"}
@@ -386,6 +391,7 @@ @String{ACM-AWL
 @String{AddisonWesleyLongman = "Addison-Wesley"}
 @String{AIRCC = "AIRCC"}
 @String{arXiv = "Cornell University Library"}
+@String{bioRxiv = "Cold Spring Harbor Laboratory"}
 @String{ButterworthHeinemann = "Butterworth-Heinemann"}
 @String{CambridgeUP = "Cambridge University Press"}
 @String{CEPIS = "CEPIS"}

MYshort.bib

@@ -15,6 +15,7 @@ @String{CAiSE
 @String{CASCON = "CASCON"}
 @String{CASSIS = "CASSIS"}
 @String{CAV = "CAV"}
+@String{CCS = "CCS"}
 @String{CEC = "CEC"}
 @String{CBSOFT = "CBSoft"}
 @String{CISTI = "CISTI"}
@@ -59,6 +60,7 @@ @String{HICSS
 @String{HVC = "HVC"}
 @String{ICAI = "ICAI"}
 @String{ICALP = "ICALP"}
+@String{ICAPS = "ICAPS"}
 @String{ICCAD = "ICCAD"}
 @String{ICCD = "ICCD"}
 @String{ICCS = "ICCS"}
@@ -165,6 +167,7 @@ @String{DSPL
 @String{Eclipse = "Eclipse"}
 @String{EIWAS = "EIWAS"}
 @String{FIDE = "F-IDE"}
+@String{FMICS = "FMICS"}
 @String{FMSPLE = "FMSPLE"}
 @String{FMTea = "FMTea"}
 @String{FOAL = "FOAL"}
@@ -239,6 +242,7 @@ @String{FSE
 @String{GLSVLSI = "GLSVLSI"}
 @String{HASE = "HASE"}
 @String{ICTAC = "ICTAC"}
+@String{ISAIM = "ISAIM"}
 @String{ISCAS = "ISCAS"}
 @String{ISESE = "ISESE"}
 @String{ISMVL = "ISMVL"}
@@ -298,6 +302,7 @@ @String{IBMSJ
 @String{IC = "IC"}
 @String{IJC = "IJC"}
 @String{IJAST = "IJAST"}
+@String{IJAR = "IJAR"}
 @String{IJBM = "IJBM"}
 @String{IJCSI = "IJCSI"}
 @String{IJPE = "IJPE"}
@@ -386,6 +391,7 @@ @String{ACM-AWL
 @String{AddisonWesleyLongman = "Addison-Wesley"}
 @String{AIRCC = "AIRCC"}
 @String{arXiv = "Cornell University Library"}
+@String{bioRxiv = "Cold Spring Harbor Laboratory"}
 @String{ButterworthHeinemann = "Butterworth-Heinemann"}
 @String{CambridgeUP = "Cambridge University Press"}
 @String{CEPIS = "CEPIS"}

literature.bib

@@ -1483,6 +1483,37 @@ @proceedings{VaMoS23
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2022 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@article{CDJ:IJAR06,
+	title = {{Compiling relational Bayesian networks for exact inference}},
+	journal = IJAR,
+	publisher = Elsevier,
+	volume = {42},
+	pages = {4--20},
+	year = 2006,
+	doi = {10.1016/j.ijar.2005.10.001},
+	author = {Mark Chavira and Adnan Darwiche and Manfred Jaeger}
+}
+
+@inproceedings{HII+:AAAI22, 
+	title = {{Tractable Explanations for d-DNNF Classifiers}}, 
+	volume = 36, 
+	doi = {10.1609/aaai.v36i5.20514},
+	booktitle = AAAI,
+	publisher = AAAIpress,
+	address = Palo,
+	author = {Huang, Xuanxiang and Izza, Yacine and Ignatiev, Alexey and Cooper, Martin and Asher, Nicholas and Marques-Silva, Joao}, 
+	year = 2022,
+	pages = {5719--5728}
+}
+
+@techreport{BDD+:TR22,
+	title = {{Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits}},
+	author = {Bourhis, Pierre and Duchien, Laurence and Dusart, J{\'e}r{\'e}mie and Lonca, Emmanuel and Marquis, Pierre and Quinton, Cl{\'e}ment},
+	institution = arXiv,
+	doi = {10.48550/arXiv.2202.05938},
+	year = 2022
+}
+
 @inproceedings{SM:ICCAD22,
 	author = {Soos, Mate and Meel, Kuldeep S.},
 	title = {{Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling}},
@@ -2288,6 +2319,18 @@ @article{BRSS:COLA22
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2021 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{TW:QEST21,
+	author = {Teuber, Samuel and Weigl, Alexander},
+	title = {{Quantifying Software Reliability via Model-Counting}},
+	year = 2021,
+	publisher = Springer,
+	address = BerlinHeidelberg,
+	doi = {10.1007/978-3-030-85172-9_4},
+	booktitle = QEST,
+	pages = {59--79},
+	location = Paris
+}
+
 @book{BHvMW21,
 	author = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Tony},
 	title = {{Handbook of Satisfiability}},
@@ -4141,6 +4184,29 @@ @inproceedings{STS:VaMoS20
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2019 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{BSS+:CCS19,
+	author = {Baluta, Teodora and Shen, Shiqi and Shinde, Shweta and Meel, Kuldeep S. and Saxena, Prateek},
+	title = {{Quantitative Verification of Neural Networks and Its Security Applications}},
+	year = 2019,
+	isbn = {9781450367479},
+	publisher = ACM,
+	address = NY,
+	doi = {10.1145/3319535.3354245},
+	booktitle = CCS,
+	pages = {1249--1264},
+	location = London
+}
+
+@techreport{SE:TR19,
+	author = {Sashittal, Palash and El-Kebir, Mohammed},
+	title = {{SharpTNI: Counting and Sampling Parsimonious Transmission Networks under a Weak Bottleneck}},
+	year = 2019,
+	doi = {10.1101/842237},
+	institution = bioRxiv,
+	journal = {bioRxiv}
+}
+
+
 @inproceedings{BH:POS19,
 	title     = {{The Effect of Scrambling CNFs}},
 	author    = {Biere, Armin and Heule, Marijn},
@@ -6323,6 +6389,15 @@ @article{DBW:SCP18
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2017 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@article{DMPV:AAAI17, 
+	title = {{Counting-Based Reliability Estimation for Power-Transmission Grids}}, 
+	volume = 31, 
+	DOI = {10.1609/aaai.v31i1.11178},
+	journal = AAAI, 
+	author = {Duenas-Osorio, Leonardo and Meel, Kuldeep and Paredes, Roger and Vardi, Moshe}, 
+	year = 2017
+}
+
 @inproceedings{SKFD:GCPR17,
 	author       = {Alexander Schulthei{\ss} and
 					Christoph K{\"{a}}ding and
@@ -9951,6 +10026,15 @@ @inproceedings{UBB+:15
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2014 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{ZPG:IJCAI13,
+	title = {{A Generalization of SAT and\# SAT for Robust Policy Evaluation.}},
+	author = {Zawadzki, Erik Peter and Platzer, Andr{\'e} and Gordon, Geoffrey J},
+	booktitle = IJCAI,
+	publisher = AAAIpress,
+	pages = {2583--2590},
+	year = 2013
+}
+
 @article{V:CACM14,
 	author    = {Vardi, Moshe Y.},
 	title     = {{Boolean Satisfiability: Theory and Engineering}},
@@ -11645,6 +11729,17 @@ @article{TKB+:SCP14
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2013 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{ZK:FMICS13,
+	author = {Zengler, Christoph and K{\"u}chlin, Wolfgang},
+	title = {{Boolean Quantifier Elimination for Automotive Configuration -- A Case Study}},
+	booktitle = FMICS,
+	year = 2013,
+	publisher = Springer,
+	address = BerlinHeidelberg,
+	pages = {48--62}
+}
+
+
 @InProceedings{HJB:CPAIOR13,
 	author = {Heule, Marijn J. H. and J{\"a}rvisalo, Matti and Biere, Armin},
 	title = {{Revisiting Hyper Binary Resolution}},
@@ -18481,6 +18576,16 @@ @inproceedings{KTS+:ICSE09
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2008 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{SH:ISAIM08,
+	missing = NoPages,
+	title = {{Probabilistic Sequential Diagnosis by Compilation}},
+	author = {Siddiqi, Sajjad and Huang, Jinbo},
+	booktitle = ISAIM,
+	year = 2008,
+	publisher = AAAIpress,
+	address = Palo
+}
+
 @book{W08,
   author    = {Woolson, R. F.},
   publisher = Wiley,
@@ -20751,6 +20856,16 @@ @inproceedings{YGM:SEAS06
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2005 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{PBDG:ICAPS05,
+	title = {{Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations}},
+	author = {Palacios, H{\'e}ctor and Bonet, Blai and Darwiche, Adnan and Geffner, Hector},
+	booktitle = ICAPS,
+	volume = 5,
+	publisher = AAAIPress,
+	address = Palo,
+	pages = {141--150},
+	year = 2005
+}
 
 @article{J:JAR05,
 	title = {{The Complexity of Pure Literal Elimination}},