Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Hannes Ihalainen"'
Publikováno v:
Automated Reasoning ISBN: 9783031107689
The study of clause redundancy in Boolean satisfiability (SAT) has proven significant in various terms, from fundamental insights into preprocessing and inprocessing to the development of practical proof checkers and new types of strong proof systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a680a7b63c263e48a0369f10eb85efda
http://hdl.handle.net/10138/346993
http://hdl.handle.net/10138/346993
Publikováno v:
Journal of Artificial Intelligence Research; 2024, Vol. 80, p931-976, 46p
Publikováno v:
Oberwolfach Reports; 2024, Vol. 21 Issue 1, p871-934, 63p
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented i
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with