المؤلفون: Bryant, Randal E.

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :49-58 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Bryant, Randal E.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1

URL الوصول: http://arxiv.org/abs/2306.10337

المؤلفون: Soos, Mate, Bryant, Randal E.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1

URL الوصول: http://arxiv.org/abs/2304.04292

المؤلفون: 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

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

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2105.00885

المؤلفون: Fujimoto, Richard M., Bagrodia, Rajive, Bryant, Randal E., Chandy, K. Mani, Jefferson, David, Misra, Jayadev, Nicol, David, Unger, Brian

المصدر: 2017 Winter Simulation Conference (WSC) Simulation Conference (WSC), 2017 Winter. :262-291 Dec, 2017

Relation: 2017 Winter Simulation Conference (WSC)

المؤلفون: Bryant, Randal E., Katz, Randy H., Hensel, Chase, Gianchandani, Erwin P.

مصطلحات موضوعية: Computer Science - Computers and Society

URL الوصول: http://arxiv.org/abs/2008.00055

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

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

المؤلفون: 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