Jacek Krzaczkowski
From MaRDI portal
Person:292835
Available identifiers
zbMath Open krzaczkowski.jacekMaRDI QIDQ292835
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Even Faster Algorithms for CSAT Over supernilpotent Algebras. | 2022-07-18 | Paper |
Satisfiability in MultiValued Circuits | 2022-05-31 | Paper |
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. | 2021-08-04 | Paper |
Intermediate problems in modular circuits satisfiability | 2021-01-21 | Paper |
Satisfiability in multi-valued circuits | 2021-01-20 | Paper |
Equation satisfiability in solvable groups | 2020-10-22 | Paper |
Circuit equivalence in 2-nilpotent algebras | 2019-09-26 | Paper |
Loosely-abelian algebras | 2016-06-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2888155 | 2012-05-30 | Paper |
TERM EQUATION SATISFIABILITY OVER FINITE ALGEBRAS | 2011-01-13 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Jacek Krzaczkowski