Pawel M. Idziak

According to our database, Pawel M. Idziak authored at least 22 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Satisfiability in MultiValued Circuits.

Pawel M. Idziak, Jacek Krzaczkowski

SIAM J. Comput., 2022

Satisfiability of Circuits and Equations over Finite Malcev Algebras.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

Complexity of Modular Circuits.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Satisfiability Problems for Finite Groups.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2020

Equation satisfiability in solvable groups.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß

CoRR, 2020

Intermediate problems in modular circuits satisfiability.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2018

Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Satisfiability in multi-valued circuits.

Pawel M. Idziak, Jacek Krzaczkowski

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2014

An Analysis of Decision-Making Techniques in Dynamic, Self-Adaptive Systems.

Pawel M. Idziak, Siobhán Clarke

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Dynamic Adaptation of the Traffic Management System CarDemo.

Arnaud Cordier, Remi Domingues, Anthony Labaere, Nicolas Noel, Adrien Thiery, Thomas Cerqueus, Siobhán Clarke, Pawel M. Idziak, Hui Song, Philip Perry, Anthony Ventresque

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014

2013

How big is BCI fragment of BCK logic.

Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc

J. Log. Comput., 2013

2010

Tractability and Learnability Arising from Algebras with Few Subpowers.

Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard

SIAM J. Comput., 2010

2009

Fregean Varieties.

Pawel M. Idziak, Katarzyna Slomczynska, Andrzej Wronski

Int. J. Algebra Comput., 2009

Definable principal congruences and solvability.

Pawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote

Ann. Pure Appl. Log., 2009

2003

Counting Mal'tsev clones on small sets.

Andrei A. Bulatov, Pawel M. Idziak

Discret. Math., 2003

2000

Counting Finite Algebras in the Post Varieties.

Joel Berman, Pawel M. Idziak

Int. J. Algebra Comput., 2000

Dualizability and graph algebras.

Brian A. Davey, Pawel M. Idziak, William A. Lampe, George F. McNulty

Discret. Math., 2000

1999

Clones containing Mal'tsev Operations.

Pawel M. Idziak

Int. J. Algebra Comput., 1999

1996

A directly Representable Variety has a discrete First-Order Law.

Stanley Burris, Pawel M. Idziak

Int. J. Algebra Comput., 1996

1995

Monadic second order probabilities in algebra. Directly representable varieties and groups.

Pawel M. Idziak, Jerzy Tyszkiewicz

Proceedings of the Logic and Random Structures, 1995

1991

Elementary Theory of Finite Equivalential Algebras.

Pawel M. Idziak

Reports Math. Log., 1991

1988

Decidability Problem for Finite Heyting Algebras.

Katarzyna Idziak, Pawel M. Idziak

J. Symb. Log., 1988