المؤلفون: Ihalainen, Hannes^Aff27, Oertel, Andy^{Aff28, Aff29}, Tan, Yong Kiam^Aff30, Berg, Jeremias^Aff27, Järvisalo, Matti^Aff27, Myreen, Magnus O.^Aff31, Nordström, Jakob^{Aff28, Aff29}

المساهمون: 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:396-418

المؤلفون: McIlree, Matthew J.^Aff25, McCreesh, Ciaran^Aff25, Nordström, Jakob^{Aff26, Aff27}

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series 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, Dilkina, Bistra, editor^Aff24

المصدر: Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II. 14743:38-55

المؤلفون: Hoen, Alexander^Aff25, Oertel, Andy^{Aff27, Aff28}, Gleixner, Ambros^{Aff25, Aff26}, Nordström, Jakob^{Aff27, Aff28}

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series 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, Dilkina, Bistra, editor^Aff24

المصدر: Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part I. 14742:310-328

المؤلفون: Berg, Jeremias, Bogaerts, Bart, Nordström, Jakob, Oertel, Andy, Vandesande, Dieter

المساهمون: Pientka, Brigitte, Editor, Tinelli, Cesare, Editor

المصدر: Proceedings of the 29th International Conference on Automated Deduction, CADE-29,Rome, Italy,-- Automated Deduction – CADE th International Conference on Automated Deduction, Proceedings. 14132 LNAI:1-22

مصطلحات موضوعية: certifying algorithms, core-guided search, MaxSAT, proof logging, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science

URL الوصول: https://lup.lub.lu.se/record/72aeec8b-9135-44d9-b332-b51f212b2872
http://dx.doi.org/10.1007/978-3-031-38499-8_1

المؤلفون: Karlsson, Kolbeinn, Jiang, Weitao, Wicker, Stephen, Adams, Danny, Ma, Edwin, van Renesse, Robbert, Weatherspoon, Hakim

المصدر: 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS) ICDCS Distributed Computing Systems (ICDCS), 2018 IEEE 38th International Conference on. :1150-1158 Jul, 2018

Relation: 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)

المؤلفون: Gocht, Stephan

المصدر: ELLIIT: the Linköping-Lund initiative on IT and mobile communication.

مصطلحات موضوعية: certifying algorithms, 0-1 linear inequalities, combinatorial algorithms, proof logging, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science

وصف الملف: electronic

URL الوصول: https://lup.lub.lu.se/record/3550cb96-83d5-4fc7-9e62-190083a3c10a
https://portal.research.lu.se/files/117886509/thesis_final_pdf.pdf

المؤلفون: Gocht, Stephan, McCreesh, Ciaran, Nordström, Jakob

المساهمون: Solnon, Christine, Editor

المصدر: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022,Haifa, Israel,-- 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 ELLIIT: the Linköping-Lund initiative on IT and mobile communication. 235

مصطلحات موضوعية: auditable solving, Constraint programming, proof logging, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science

URL الوصول: https://lup.lub.lu.se/record/893f7121-27d7-4734-9f9e-785b46f75ed1
http://dx.doi.org/10.4230/LIPIcs.CP.2022.25

المؤلفون: Gocht, Stephan, Martins, Ruben, Nordström, Jakob, Oertel, Andy

المساهمون: Meel, Kuldeep S., Strichman, Ofer

المصدر: Gocht, S, Martins, R, Nordström, J & Oertel, A 2022, Certified CNF Translations for Pseudo-Boolean Solving . in K S Meel & O Strichman (eds), 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022 ., 16, Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, LIPIcs, vol. 236, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, Haifa, Israel, 02/08/2022 . https://doi.org/10.4230/LIPIcs.SAT.2022.16

مصطلحات موضوعية: CNF encoding, proof logging, Theory of computation → Program verification, certified translation, pseudo-Boolean solving, 0-1 integer linear program, certifying algorithms, Hardware → Theorem proving and SAT solving, Theory of computation → Logic and verification, cutting planes

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a859a729cf7f18199a6864b5b10a143f
https://curis.ku.dk/portal/da/publications/certified-cnf-translations-for-pseudoboolean-solving(445fa175-66e7-425b-a592-48875a8aa511).html

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.