Wieslaw Szwast

Publication Activity (10 Years)

Years Active: 1989-2019
Publications (10 Years): 5

Top Topics

Stochastic Local Search Algorithms

Pspace Complete

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

J. Log. Comput.

Publications

Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
The Fluted Fragment Revisited. J. Symb. Log. 84 (3) (2019)
Wieslaw Szwast, Lidia Tendera
On the satisfiability problem for fragments of two-variable logic with one transitive relation. J. Log. Comput. 29 (6) (2019)
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
Quine's Fluted Fragment Revisited. CoRR (2018)
Wieslaw Szwast, Lidia Tendera
On the satisfiability problem for fragments of the two-variable logic with one transitive relation. CoRR (2018)
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
Quine's Fluted Fragment is Non-Elementary. CSL (2016)
Wieslaw Szwast, Lidia Tendera
FO^2 with one transitive relation is decidable. STACS (2013)
Wieslaw Szwast, Lidia Tendera
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. LPAR (2005)
Wieslaw Szwast, Lidia Tendera
The guarded fragment with transitive guards. Ann. Pure Appl. Log. 128 (1-3) (2004)
Wieslaw Szwast, Lidia Tendera
On the Decision Problem for the Guarded Fragment with Transitivity. LICS (2001)
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
Complexity Results for First-Order Two-Variable Logic with Counting. SIAM J. Comput. 29 (4) (2000)
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
Complexity of Two-Variable Logic with Counting. LICS (1997)
Wieslaw Szwast
A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality. Int. J. Found. Comput. Sci. 6 (4) (1995)
Leszek Pacholski, Wieslaw Szwast
A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality Inf. Comput. 107 (1) (1993)
Leszek Pacholski, Wieslaw Szwast
Asymptotic Probabilities of Existential Second-Order Gödel Structures. J. Symb. Log. 56 (2) (1991)
Wieslaw Szwast
On Horn Spectra. Theor. Comput. Sci. 82 (2) (1991)
Leszek Pacholski, Wieslaw Szwast
On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality LICS (1991)
Wieslaw Szwast
On the generator problem. Math. Log. Q. 36 (1) (1990)
Leszek Pacholski, Wieslaw Szwast
The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality FOCS (1989)