- Tytuł:
-
Characterisation of Constraint Satisfaction Problems over edge affine clausal languages, solvable by Datalog.
Klasyfikacja problemów spełniania więzów nad językami clausal edge affine, które są rozwiązywalne przez Datalog - Autorzy:
- Jarosz, Kamil
- Słowa kluczowe:
-
tcs, theoretical computer science, csp, problem spełnialności więzów, Datalog, Schaefer
tcs, theoretical computer science, csp, constraint satisfaction problem, Datalog, Schaefer - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Inne