#### Filter Results:

#### Publication Year

2006

2013

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Tomasz A. Gorazd, Jacek Krzaczkowski
- Reports on Mathematical Logic
- 2011

This paper presents a complete classification of the complexity of the SAT and equivalence problems for two-element algebras. Cases of terms and polynomials are considered. We show that for any fixed two-element algebra the considered SAT problems are either in P or NP-complete and the equivalence problems are either in P or coNP-complete. We show that the… (More)

- Tomasz A. Gorazd, Jacek Krzaczkowski
- IJAC
- 2010

- Tomasz A. Gorazd, Jacek Krzaczkowski
- J. UCS
- 2013

We show that the term satisfiability problem for finite algebras is in NQL. Moreover we present a complete classification of the computational complexity of the term satisfiability problem for two-element algebras. We show that for any fixed two-element algebra the problem is either in QL or NQL-complete. We show that the complexity of the considered… (More)

- Jacek Krzaczkowski
- Annales UMCS, Informatica
- 2006

Solving equations is one of the most important problems in computer science. Apart from the problem of existence of solutions of equations we may consider the problem of a number of solutions of equations. Such a problem is much more difficult than the decision one. This paper presents a complete classification of the complexity of the problem of counting… (More)

- ‹
- 1
- ›