المؤلفون: Reeves, Joseph E.^Aff9, Heule, Marijn J. H.^Aff9, Bryant, Randal E.^Aff9

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Gurfinkel, Arie, editor^Aff7, Ganesh, Vijay, editor^Aff8

المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:110-132

المؤلفون: Reeves, Joseph E.^{Aff1, IDs10817023096813_cor1}, Heule, Marijn J. H., Bryant, Randal E.

المصدر: Journal of Automated Reasoning. 67(3)

المؤلفون: Reeves, Joseph E.^Aff9, Kiesl-Reiter, Benjamin^Aff10, Heule, Marijn J. H.^{Aff9, Aff10}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Sankaranarayanan, Sriram, editor^Aff7, Sharygina, Natasha, editor^Aff8

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:329-347

المؤلفون: Reeves, Joseph E.^Aff10, Heule, Marijn J. H.^Aff10, Bryant, Randal E.^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Blanchette, Jasmin, editor^Aff7, Kovács, Laura, editor^Aff8, Pattinson, Dirk, editor^Aff9

المصدر: Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 13385:106-124

المؤلفون: Reeves, Joseph E.^Aff10, Heule, Marijn J. H.^Aff10, Bryant, Randal E.^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Fisman, Dana, editor^Aff8, Rosu, Grigore, editor^Aff9

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. 13243:462-479