A finite state intersection approach to propositional satisfiability

Autor: Castaño, J.M., Castaño, R.

Publikováno v: Theor Comput Sci 2012;450:92-108
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN

We use a finite state (FSA) construction approach to address the problem of propositional satisfiability (SAT). We present a very simple translation from formulas in conjunctive normal form (CNF) to regular expressions and use regular expressions to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::b122184f2ed375d579fc611200399abe

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.