%0 Conference Paper %1 conf/cade/BarnettCB20 %A Barnett, Lee A. %A Cerna, David M. %A Biere, Armin %B IJCAR (1) %D 2020 %E Peltier, Nicolas %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 32-47 %T Covered Clauses Are Not Propagation Redundant. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#BarnettCB20 %V 12166 %@ 978-3-030-51074-9

@inproceedings{conf/cade/BarnettCB20, added-at = {2020-11-26T00:00:00.000+0100}, author = {Barnett, Lee A. and Cerna, David M. and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/225d1141cc1509a44ee8bd3502b2311a2/dblp}, booktitle = {IJCAR (1)}, crossref = {conf/cade/2020-1}, editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-030-51074-9_3}, interhash = {cc84e13a8e57bc4e36ffce57e918893d}, intrahash = {25d1141cc1509a44ee8bd3502b2311a2}, isbn = {978-3-030-51074-9}, keywords = {dblp}, pages = {32-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-27T11:38:30.000+0100}, title = {Covered Clauses Are Not Propagation Redundant.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#BarnettCB20}, volume = 12166, year = 2020 }