%0 Conference Paper %1 conf/sat/Capelli19 %A Capelli, Florent %B SAT %D 2019 %E Janota, Mikolás %E Lynce, Inês %I Springer %K dblp %P 90-99 %T Knowledge Compilation Languages as Proof Systems. %U http://dblp.uni-trier.de/db/conf/sat/sat2019.html#Capelli19 %V 11628 %@ 978-3-030-24258-9

@inproceedings{conf/sat/Capelli19, added-at = {2019-07-05T00:00:00.000+0200}, author = {Capelli, Florent}, biburl = {https://www.bibsonomy.org/bibtex/2b57cafeb964e2132c9a8beacbf7b4485/dblp}, booktitle = {SAT}, crossref = {conf/sat/2019}, editor = {Janota, Mikolás and Lynce, Inês}, ee = {https://doi.org/10.1007/978-3-030-24258-9_6}, interhash = {b62a673ee7e59c12679cf2b647746f83}, intrahash = {b57cafeb964e2132c9a8beacbf7b4485}, isbn = {978-3-030-24258-9}, keywords = {dblp}, pages = {90-99}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-06T11:55:20.000+0200}, title = {Knowledge Compilation Languages as Proof Systems.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2019.html#Capelli19}, volume = 11628, year = 2019 }