Zobrazeno 1 - 10
of 17
pro vyhledávání: '"proof logging"'
Autor:
Gocht, Stephan
Over the last decades, dramatic improvements in combinatorialoptimisation algorithms have significantly impacted artificialintelligence, operations research, and other areas. These advances,however, are achieved through highly sophisticated algorithm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1110::af24ecd2fe9893c18d81d74b359b688e
https://lup.lub.lu.se/record/3550cb96-83d5-4fc7-9e62-190083a3c10a
https://lup.lub.lu.se/record/3550cb96-83d5-4fc7-9e62-190083a3c10a
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Gocht, S, McCreesh, C & Nordström, J 2022, An Auditable Constraint Programming Solver . in C Solnon (ed.), 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 ., 25, Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, LIPIcs, vol. 235, 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, Haifa, Israel, 31/07/2022 . https://doi.org/10.4230/LIPIcs.CP.2022.25
We describe the design and implementation of a new constraint programming solver that can produce an auditable record of what problem was solved and how the solution was reached. As well as a solution, this solver provides an independently verifiable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1b91b1fa2f937922186b40a337641db
Publikováno v:
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
The dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage state-of-the-art conflict-driven clause learning (CDCL) solvers for many combinatorial problems in academia and indus
Externí odkaz:
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
https://curis.ku.dk/portal/da/publications/certified-cnf-translations-for-pseudoboolean-solving(445fa175-66e7-425b-a592-48875a8aa511).html
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.