- Tytuł:
- Expressive power, satisfiability and equivalence of circuits over nilpotent algebras
- Autorzy:
-
Idziak, Paweł
Krzaczkowski, Jacek
Kawałek, Piotr - Data publikacji:
- 2018
- Wydawca:
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik
- Słowa kluczowe:
-
circuit satisfiability
solving equations
structure theory
Constraint Satisfaction Problem - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Inne