Symmetric Polymorphisms and Efficient Decidability of Promise CSPs.

Joshua Brakensiek Venkatesan Guruswami

Published in: SODA (2020)

Keyphrases

description logics
cost effective
knowledge base
lightweight
constraint satisfaction problems
databases
constraint satisfaction
computationally expensive
constraint propagation
efficient computation