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