- Tytuł:
- From arithmetic expressions to propositional formulae
- Autorzy:
-
Stępień, L.
Stępień, M. R. - Powiązania:
- https://bibliotekanauki.pl/articles/121623.pdf
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming - Opis:
- In papers [3], [4], [5] Authors presented a new method of solving some kinds of computational tasks in the area of linear algebra by applying SAT-solver as the highly optimized algorithms for solving the problem of propositional satisfiability. On input SAT-solver (cf. [1], [2]) takes a propositional formula in the clause form. In this paper we show in detail how any arithmetical expression can be translated into propositional formula in the CNF form skipping out its traditional form. For this, we define the notion of consistency of arithmetic and boolean valuations.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 135-143
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki