Pawel M. Idziak

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