Added remaining ASE entries

MYabrv.bib

@@ -89,6 +89,7 @@ @String{Informatik
 @String{ITNG = "Proc.\ Inte'l Conf.\ on Information Technology: New Generations (ITNG)"}
 @String{ITP = "Proc.\ Inte'l Conf.\ on Interactive Theorem Proving (ITP)"}
 @String{JMLC = "Proc.\ Joint Modular Languages Conference (JMLC)"}
+@String{MILCOM = "IEEE Military Communications Conference (MILCOM)"}
 @String{MODELS = "Proc.\ Int'l Conf.\ on Model Driven Engineering Languages and Systems (MODELS)"}
 @String{Modellierung = "Proc.\ Modellierung"}
 @String{MODELSWARD = "Proc.\ Int'l Conf.\ on Models in Software Engineering (MODELSWARD)"}

MYshort.bib

@@ -93,6 +93,7 @@ @String{MSR
 @String{NaBIC = "NaBIC"}
 @String{NATOSE = "NATO SE"}
 @String{NFM = "NFM"}
+@String{MILCOM = "MILCOM"}
 @String{MODELS = "MODELS"}
 @String{Modellierung = "Modellierung"}
 @String{MODELSWARD = "MODELSWARD"}

literature.bib

@@ -536,6 +536,17 @@ @mastersthesis{Foerster24
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2023 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@article{SHG+:JEA23,
+  title     = {{High-Quality Hypergraph Partitioning}},
+  author    = {Schlag, Sebastian and Heuer, Tobias and Gottesb{\"u}ren, Lars and Akhremtsev, Yaroslav and Schulz, Christian and Sanders, Peter},
+  journal   = JEA,
+  volume    = {27},
+  pages     = {1--39},
+  year      = 2023,
+  publisher = ACM,
+  address = NY
+}
+
 @inproceedings{FNS:SAT23,
 	author    = {Fried, Dror and Nadel, Alexander and Shalmon, Yogev},
 	title     = {{AllSAT for Combinational Circuits}},
@@ -653,11 +664,11 @@ @article{FLHS:CACM23
 }
 
 @techreport{BDD+:TR23,
-  title       = {{Reasoning on Feature Models: Compilation-Based vs. Direct Approaches}},
-  author      = {Pierre Bourhis and Laurence Duchien and Jérémie Dusart and Emmanuel Lonca and Pierre Marquis and Clément Quinton},
-  institution = {Cornell University Library},
-  doi         = {10.48550/arXiv.2302.06867},
-  year        = 2023
+	title       = {{Reasoning on Feature Models: Compilation-Based vs. Direct Approaches}},
+	author      = {Pierre Bourhis and Laurence Duchien and Jérémie Dusart and Emmanuel Lonca and Pierre Marquis and Clément Quinton},
+	institution = arXiv,
+	doi         = {10.48550/arXiv.2302.06867},
+	year        = 2023
 }
 
 @techreport{AKS:TR23,
@@ -2371,7 +2382,7 @@ @inproceedings{P:SPLC21
 	publisher = ACM,
 	address = NY,
 	location = Leicester,
-	pages = {60-–68},
+	pages = {60--68},
 	isbn = 9781450384704,
 	doi = {10.1145/3461002.3473947},
 	year = 2021
@@ -9001,6 +9012,17 @@ @article{MKG:SoSyM15
 	year = 2015
 }
 
+@inproceedings{ACMS:SAT15,
+  author    = {Aziz, Rehan Abdul and Chu, Geoffrey and Muise, Christian and Stuckey, Peter},
+  title     = {{$\#\exists$ SAT: Projected Model Counting}},
+  booktitle = SAT,
+  year      = 2015,
+  publisher = Springer,
+  address   = Cham,
+  pages     = {121--137},
+  isbn      = {978-3-319-24318-4}
+}
+
 @inproceedings{BSS:SAT15,
 	author = {Tom{\'{a}}s Balyo and Peter Sanders and Carsten Sinz},
 	editor = {Marijn Heule and Sean A. Weaver},
@@ -13372,15 +13394,14 @@ @inproceedings{RAK+:VaMoS13
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2012 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 @inproceedings{MMBH:AAI12,
-  address   = {Berlin, Heidelberg},
   author    = {Muise, Christian and McIlraith, Sheila A. and Beck, J. Christopher and Hsu, Eric I.},
   booktitle = {Advances in Artificial Intelligence},
   editor    = {Kosseim, Leila and Inkpen, Diana},
   pages     = {356--361},
   publisher = Springer,
   address   = BerlinHeidelberg,
-  title     = {Dsharp: Fast d-DNNF Compilation with sharpSAT},
-  year      = {2012}
+  title     = {{Dsharp: Fast d-DNNF Compilation with sharpSAT}},
+  year      = 2012
 }
 
 
@@ -18452,7 +18473,7 @@ @book{W08
   author    = {Woolson, R. F.},
   publisher = Wiley,
   title     = {{Wilcoxon Signed-Rank Test}},
-  pages     = {1-3},
+  pages     = {1--3},
   doi       = {10.1002/9780471462422.eoct979},
   year      = 2008
 }
@@ -19264,6 +19285,15 @@ @inproceedings{AL08
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2007 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{DGK:MILCOM07,
+  author    = {Demers, Stephanie and Gopalakrishnan, Praveen and Kant, Latha},
+  booktitle = MILCOM,
+  title     = {{A Generic Solution to Software-in-the-Loop}},
+  year      = 2007,
+  pages     = {1--6},
+  doi       = {10.1109/MILCOM.2007.4455268}
+}
+
 @inproceedings{HS:DAC07,
 	author = {Han, Hyojung and Somenzi, Fabio},
 	title = {{Alembic: An Efficient Algorithm for CNF Preprocessing}},
@@ -19273,7 +19303,7 @@ @inproceedings{HS:DAC07
 	address = NY,
 	doi = {10.1145/1278480.1278628},
 	booktitle = DAC,
-	pages = {582–-587},
+	pages = {582--587},
 	ek-tags = {preprocessing, distillation},
 	location = {San Diego, California},
 }