%0 Conference Paper %1 conf/cade/CoutelierKRR23 %A Coutelier, Robin %A Kovács, Laura %A Rawson, Michael %A Rath, Jakob %B CADE %D 2023 %E Pientka, Brigitte %E Tinelli, Cesare %I Springer %K dblp %P 190-206 %T SAT-Based Subsumption Resolution. %U http://dblp.uni-trier.de/db/conf/cade/cade2023.html#CoutelierKRR23 %V 14132 %@ 978-3-031-38499-8

@inproceedings{conf/cade/CoutelierKRR23, added-at = {2023-09-24T00:00:00.000+0200}, author = {Coutelier, Robin and Kovács, Laura and Rawson, Michael and Rath, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/25eff4ce8cd2c3e32c66a6985e10aab54/dblp}, booktitle = {CADE}, crossref = {conf/cade/2023}, editor = {Pientka, Brigitte and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-031-38499-8_11}, interhash = {95338fce4bd56c6c16e3db2b9d30130c}, intrahash = {5eff4ce8cd2c3e32c66a6985e10aab54}, isbn = {978-3-031-38499-8}, keywords = {dblp}, pages = {190-206}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {SAT-Based Subsumption Resolution.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2023.html#CoutelierKRR23}, volume = 14132, year = 2023 }