Open AccessNetwork Satisfaction for Symmetric Relation Algebras with a Flexible Atom
Author(s) -
Manuel Bodirsky,
Simon Knäuer
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v35i7.16773
Subject(s) - constraint satisfaction problem , relation (database) , computational complexity theory , representation (politics) , atom (system on chip) , mathematics , domain (mathematical analysis) , algebra over a field , algebraic number , combinatorics , discrete mathematics , computer science , pure mathematics , algorithm , mathematical analysis , statistics , database , politics , probabilistic logic , political science , law , embedded system