Tomasz A. Gorazd

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Stochastic Local Search

Decision Procedures

Pspace Complete

Top Venues

J. Univers. Comput. Sci.

Publications

Tomasz A. Gorazd, Jacek Krzaczkowski
Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete. J. Univers. Comput. Sci. 19 (10) (2013)
Tomasz A. Gorazd, Jacek Krzaczkowski
The complexity of problems connected with two-element algebras. Reports Math. Log. 46 (2011)
Tomasz A. Gorazd, Jacek Krzaczkowski
Term equation Satisfiability over Finite Algebras. Int. J. Algebra Comput. 20 (8) (2010)
Tomasz A. Gorazd
Fast Isomorphism Testing in Arithmetical Varieties. Int. J. Algebra Comput. 13 (4) (2003)
Tomasz A. Gorazd
The Isomorphism Testing for Directly Representable Varieties. Reports Math. Log. 31 (1997)