Pawel M. Idziak

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 11

Top Topics

Propositional Logic

Guarded Fragment

Traffic Management

Satisfiability Problem

Top Venues

J. Log. Comput.

Publications

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Satisfiability of Circuits and Equations over Finite Malcev Algebras. STACS (2022)
Pawel M. Idziak, Jacek Krzaczkowski
Satisfiability in MultiValued Circuits. SIAM J. Comput. 51 (3) (2022)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß
Satisfiability Problems for Finite Groups. ICALP (2022)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Complexity of Modular Circuits. LICS (2022)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Complexity of Modular Circuits. CoRR (2021)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Intermediate problems in modular circuits satisfiability. LICS (2020)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß
Equation satisfiability in solvable groups. CoRR (2020)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Intermediate problems in modular circuits satisfiability. CoRR (2020)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. MFCS (2018)
Pawel M. Idziak, Jacek Krzaczkowski
Satisfiability in multi-valued circuits. LICS (2018)
Pawel M. Idziak, Jacek Krzaczkowski
Satisfiability in multi-valued circuits. CoRR (2017)
Arnaud Cordier, Remi Domingues, Anthony Labaere, Nicolas Noel, Adrien Thiery, Thomas Cerqueus, Siobhán Clarke, Pawel M. Idziak, Hui Song, Philip Perry, Anthony Ventresque
Dynamic Adaptation of the Traffic Management System CarDemo. SASO (2014)
Pawel M. Idziak, Siobhán Clarke
An Analysis of Decision-Making Techniques in Dynamic, Self-Adaptive Systems. SASO Workshops (2014)
Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc
How big is BCI fragment of BCK logic. J. Log. Comput. 23 (3) (2013)
Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc
How big is BCI fragment of BCK logic CoRR (2011)
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
Tractability and Learnability Arising from Algebras with Few Subpowers. SIAM J. Comput. 39 (7) (2010)
Pawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote
Definable principal congruences and solvability. Ann. Pure Appl. Log. 157 (1) (2009)
Pawel M. Idziak, Katarzyna Slomczynska, Andrzej Wronski
Fregean Varieties. Int. J. Algebra Comput. 19 (5) (2009)
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
Tractability and learnability arising from algebras with few subpowers. LICS (2007)
Andrei A. Bulatov, Pawel M. Idziak
Counting Mal'tsev clones on small sets. Discret. Math. 268 (1-3) (2003)
Brian A. Davey, Pawel M. Idziak, William A. Lampe, George F. McNulty
Dualizability and graph algebras. Discret. Math. 214 (1-3) (2000)
Joel Berman, Pawel M. Idziak
Counting Finite Algebras in the Post Varieties. Int. J. Algebra Comput. 10 (3) (2000)
Pawel M. Idziak
Clones containing Mal'tsev Operations. Int. J. Algebra Comput. 9 (2) (1999)
Stanley Burris, Pawel M. Idziak
A directly Representable Variety has a discrete First-Order Law. Int. J. Algebra Comput. 6 (3) (1996)
Pawel M. Idziak, Jerzy Tyszkiewicz
Monadic second order probabilities in algebra. Directly representable varieties and groups. Logic and Random Structures (1995)
Pawel M. Idziak
Elementary Theory of Finite Equivalential Algebras. Reports Math. Log. 25 (1991)
Katarzyna Idziak, Pawel M. Idziak
Decidability Problem for Finite Heyting Algebras. J. Symb. Log. 53 (3) (1988)