b'@inproceedings{MoehleFROCOS23,'b'\nTITLE = {An Abstract {CNF}-to-d-{DNNF} Compiler Based on Chronological {CDCL}},\nAUTHOR = {M{\\"o}hle, Sibylle},\nLANGUAGE = {eng},\nISBN = {978-3-031-43368-9},\nDOI = {10.1007/978-3-031-43369-6_11},\nPUBLISHER = {Springer},\nYEAR = {2023},\nMARGINALMARK = {$\\bullet$},\nDATE = {2023},\nBOOKTITLE = {Frontiers of Combining Systems (FroCoS 2023)},\nEDITOR = {Sattler, Uli and Suda, Martin},\nPAGES = {195--213},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {14279},\nADDRESS = {Prague, Czech Republic},\n}\n'