%0 Conference Paper %1 conf/ijcar/SutcliffeSKPK24 %A Sutcliffe, Geoff %A Suttner, Christian B. %A Kotthoff, Lars %A Perrault, C. Raymond %A Khalid, Zain %B IJCAR (1) %D 2024 %E Benzmüller, Christoph %E Heule, Marijn J. H. %E Schmidt, Renate A. %I Springer %K dblp %P 53-74 %T An Empirical Assessment of Progress in Automated Theorem Proving. %U http://dblp.uni-trier.de/db/conf/ijcar/ijcar2024-1.html#SutcliffeSKPK24 %V 14739 %@ 978-3-031-63498-7

@inproceedings{conf/ijcar/SutcliffeSKPK24, added-at = {2024-08-22T00:00:00.000+0200}, author = {Sutcliffe, Geoff and Suttner, Christian B. and Kotthoff, Lars and Perrault, C. Raymond and Khalid, Zain}, biburl = {https://www.bibsonomy.org/bibtex/20a8d1a10c7413166c73a1efd14a7f3cc/dblp}, booktitle = {IJCAR (1)}, crossref = {conf/ijcar/2024-1}, editor = {Benzmüller, Christoph and Heule, Marijn J. H. and Schmidt, Renate A.}, ee = {https://doi.org/10.1007/978-3-031-63498-7_4}, interhash = {ecad59d2d7449c6af74a37c4169e9894}, intrahash = {0a8d1a10c7413166c73a1efd14a7f3cc}, isbn = {978-3-031-63498-7}, keywords = {dblp}, pages = {53-74}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-08-26T07:55:01.000+0200}, title = {An Empirical Assessment of Progress in Automated Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/ijcar/ijcar2024-1.html#SutcliffeSKPK24}, volume = 14739, year = 2024 }