المؤلفون: Wallner, Felix, Aichernig, Bernhard K., Burghard, Christian

المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :327-339 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)

المؤلفون: Kiesl-Reiter, Benjamin, Whalen, Michael W.

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :132-140 Oct, 2023

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

المؤلفون: Peham, Tom, Brandl, Nina, Kueng, Richard, Wille, Robert, Burgholzer, Lukas

المصدر: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) QCE Quantum Computing and Engineering (QCE), 2023 IEEE International Conference on. 01:802-813 Sep, 2023

Relation: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE)

المؤلفون: Auto, Julio, Shi, Fred

المصدر: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) QCE Quantum Computing and Engineering (QCE), 2023 IEEE International Conference on. 01:385-396 Sep, 2023

Relation: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE)

المؤلفون: Osama, Muhammad^{Aff1, IDs1070302300432z_cor1}, Wijs, Anton, Biere, Armin

المصدر: Formal Methods in System Design: An International Journal. 62(1-3):79-118

المؤلفون: Hiess, Irene, Kampel, Ludwig, Wagner, Michael, Simos, Dimitris E.

المصدر: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :71-79 Sep, 2022

Relation: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Dixit, Akhil A., Kolaitis, Phokion G.

المصدر: 2022 IEEE 38th International Conference on Data Engineering (ICDE) ICDE Data Engineering (ICDE), 2022 IEEE 38th International Conference on. :924-937 May, 2022

Relation: 2022 IEEE 38th International Conference on Data Engineering (ICDE)

المؤلفون: Giráldez Crú, Jesús

المساهمون: University/Department: Universitat Autònoma de Barcelona. Departament de Ciències de la Computació

مرشدي الرسالة: Levy Díaz, Jordi, González Sabaté, Jordi

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Resolució de SAT, Resolución de SAT, SAT solving, Xarxes complexes, Redes complejas, Complex networks, Estructura de problemes reals, Estructura de problemas reales, Structure of real-word problems, Tecnologies

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/386422

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

المؤلفون: Pommellet, Adrien^Aff27, Stan, Daniel^Aff27, Scatton, Simon^Aff27

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, van Leeuwen, Jan, Series Editor^Aff2, Hutchison, David, Editorial Board Member^Aff3, Kanade, Takeo, Editorial Board Member^Aff4, Kittler, Josef, Editorial Board Member^Aff5, Kleinberg, Jon M., Editorial Board Member^Aff6, Kobsa, Alfred, Series Editor^Aff7, Mattern, Friedemann, Editorial Board Member^Aff8, Mitchell, John C., Editorial Board Member^Aff9, Naor, Moni, Editorial Board Member^Aff10, Nierstrasz, Oscar, Series Editor^Aff11, Pandu Rangan, C., Editorial Board Member^Aff12, Sudan, Madhu, Series Editor^Aff13, Terzopoulos, Demetri, Editorial Board Member^Aff14, Tygar, Doug, Editorial Board Member^Aff15, Weikum, Gerhard, Series Editor^Aff16, Vardi, Moshe Y, Series Editor^Aff17, Goos, Gerhard, Founding Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Benzmüller, Christoph, editor^Aff24, Heule, Marijn J.H., editor^Aff25, Schmidt, Renate A., editor^Aff26

المصدر: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:366-385