Zobrazeno 1 - 10
of 20
pro vyhledávání: '"antiprenexing"'
Publikováno v:
LPAR
We study light-weight techniques for preprocessing of WSkS formulae in an automata- based decision procedure as implemented, e.g., in Mona. The techniques we use are based on antiprenexing, i.e., pushing quantifiers deeper into a formula. Intuitively
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21ed26760088d7e8aaffd245768badea
https://doi.org/10.29007/6bfc
https://doi.org/10.29007/6bfc
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.
Autor:
Uwe Egly
Publikováno v:
Logic Programming and Automated Reasoning ISBN: 9783540582168
LPAR
LPAR
In this paper, we examine the effect of antiprenexing on the proof length if resolution deduction concepts are applied. Roughly speaking, our version of antiprenexing moves ∀-quantifiers downward in the formula tree whereas ∃-quantifiers are move
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc3182c77f63e90db72ef2ef0812dc04
https://doi.org/10.1007/3-540-58216-9_30
https://doi.org/10.1007/3-540-58216-9_30
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.
Autor:
Havlena, Vojtěch
Tato práce se zabývá vývojem efektivních technik pro konečné automaty a jejich aplikace. Zejména se věnujeme konečným automatům použitých pří detekci útoků v síťovém provozu a automatům v rozhodovacích procedurách a verifikaci
Externí odkaz:
http://www.nusl.cz/ntk/nusl-455835
Publikováno v:
Journal of Automated Reasoning; Jun2023, Vol. 67 Issue 2, p1-76, 76p
Publikováno v:
Journal of Automated Reasoning; Oct2021, Vol. 65 Issue 7, p971-999, 29p
Publikováno v:
Logics in Artificial Intelligence; 2006, p333-345, 13p
Autor:
Arie Gurfinkel, Vijay Ganesh
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the fron
Autor:
Karin Genther, Uwe Egly
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540633853
Kurt Gödel Colloquium
Kurt Gödel Colloquium
As modern Automated Deduction systems rely heavily on the use of a machine-oriented representation of a given problem, together with sophisticated redundancy-avoiding techniques, a major task in convincing human users of the correctness of automatica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac28ef37291b26a1dd99d8d42fa606d6
https://doi.org/10.1007/3-540-63385-5_39
https://doi.org/10.1007/3-540-63385-5_39