Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Uninterpreted function symbols"'
Autor:
George C. Necula, Sumit Gulwani
Publikováno v:
CADE
We present a new randomized algorithm for checking the satisfiability of a conjunction of literals in the combined theory of linear equalities and uninterpreted functions. The key idea of the algorithm is to process the literals incrementally and to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cdf95def78d7951d22531b947ff6fd60
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.