المؤلفون: Ihalainen, Hannes, Oertel, Andy, Tan, Yong Kiam, Berg, Jeremias, Järvisalo, Matti, Myreen, Magnus, 1983, Nordström, Jakob

المصدر: 12th International Joint Conference on Automated Reasoning, IJCAR 2024, Nancy, France Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14739 LNAI:396-418

مصطلحات موضوعية: preprocessing, proof logging, formally verified proof checking, maximum satisfiability

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/542304
https://research.chalmers.se/publication/542304/file/542304_Fulltext.pdf

المؤلفون: Sabinus, Edward^Aff13

المساهمون: Goos, Gerhard, Series Editor^{Aff1, Aff3}, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff4, Gao, Wen, Editorial Board Member^Aff5, Steffen, Bernhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Bonfanti, Silvia, editor^Aff8, Gargantini, Angelo, editor^Aff9, Leuschel, Michael, editor^Aff10, Riccobene, Elvinia, editor^Aff11, Scandurra, Patrizia, editor^Aff12

المصدر: Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings. 14759:392-396

المؤلفون: Tan, Yong Kiam, Heule, Marijn J.H., Myreen, Magnus, 1983

المصدر: International Journal on Software Tools for Technology Transfer. 25(2):167-184

مصطلحات موضوعية: compositional proof checking, linear propagation redundancy, binary code extraction

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/534843
https://research.chalmers.se/publication/534843/file/534843_Fulltext.pdf

المؤلفون: Harrison, William L., Allwein, Gerard

المصدر: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). :658-661 Mar, 2020

Relation: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)

المؤلفون: Chen, Xiaohong^Aff10, Lin, Zhengyao^Aff10, Trinh, Minh-Thai^Aff11, Roşu, Grigore^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, Silva, Alexandra, editor^Aff8, Leino, K. Rustan M., editor^Aff9

المصدر: Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. 12760:477-499

المؤلفون: Doré, Maximilian^Aff11, Broda, Krysia^Aff12

المساهمون: Barbosa, Simone Diniz Junqueira, Editorial Board Member^Aff1, Filipe, Joaquim, Editorial Board Member^Aff2, Ghosh, Ashish, Editorial Board Member^Aff3, Kotenko, Igor, Editorial Board Member^Aff4, Yuan, Junsong, Editorial Board Member^Aff5, Zhou, Lizhu, Editorial Board Member^Aff6, McLaren, Bruce M., editor^Aff7, Reilly, Rob, editor^Aff8, Zvacek, Susan, editor^Aff9, Uhomoibhi, James, editor^Aff10

المصدر: Computer Supported Education : 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15–17, 2018, Revised Selected Papers. 1022:549-571

المؤلفون: Brown, Chad E.^Aff18, Pąk, Karol^Aff19

المساهمون: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Steffen, Bernhard, Editorial Board Member^Aff9, Terzopoulos, Demetri, Editorial Board Member^Aff10, Tygar, Doug, Editorial Board Member^Aff11, Goos, Gerhard, Founding Editor^Aff12, Hartmanis, Juris, Founding Editor^Aff13, Kaliszyk, Cezary, editor^Aff14, Brady, Edwin, editor^Aff15, Kohlhase, Andrea, editor^Aff16, Sacerdoti Coen, Claudio, editor^Aff17

المصدر: Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings. 11617:44-60

المؤلفون: Barbosa, Haniel^Aff1, Blanchette, Jasmin Christian^{Aff2, Aff3, Aff4}, Fleury, Mathias^{Aff4, Aff5}, Fontaine, Pascal

المصدر: Journal of Automated Reasoning. 64(3):485-510

المؤلفون: Heule, Marijn J. H., Kiesl, Benjamin^{Aff2, Aff3}, Biere, Armin^Aff4

المصدر: Journal of Automated Reasoning. 64(3):533-554

المؤلفون: Hansmeier, Tim^Aff1, Platzner, Marco, Pantho, Md Jubaer Hossain, Andrews, David

المصدر: Journal of Signal Processing Systems: for Signal, Image, and Video Technology(formerly the Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology). 91(11-12):1259-1272