Temat: constraint satisfaction problem

Skocz do pozycji: 1.

Tytuł:: Injective hardness condition for PCSPs
Autorzy:: Kozik, Marcin
Banakh, Demian
Data publikacji:: 2024
Słowa kluczowe:: dichotomy
promise constraint satisfaction problem
constraint satisfaction problem
algebraic approach; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Dichotomy for symmetric boolean PCSPs
Autorzy:: Ficak, Miron
Kozik, Marcin
Stankiewicz, Szymon
Olsak, Miroslav
Data publikacji:: 2019
Wydawca:: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Słowa kluczowe:: PCSP
promise constraint satisfaction problem
algebraic approach; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 3.

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

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Sensitive instances of the constraint satisfaction problem
Autorzy:: Kozik, Marcin
Matt, Valeriote
Johnson, Tan
Libor, Barto
Data publikacji:: 2020
Wydawca:: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Słowa kluczowe:: bounded width
local consistency
constraint satisfaction problem
loop lemma
earunanimity operation; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 5.

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

Szczegóły

Informacja