Model-based supervised learning with ACs. Query-oriented ACs. Tensor-graph representation of ACs. Background knowledge. Unknown functional dependencies. Constrained vtrees. Constrained SDDs. MAJ-MAJ-SAT. Same-Decision Probability (SDP). PP^PP-complete problems.
-- Paper that introduced compilation of query-oriented ACs as tensor graphs: https://ecai2020.eu/papers/961_paper.pdf
-- Paper on supervised learning with ACs and background knowledge: https://pgm2020.cs.aau.dk/wp-content/uploads/2020/09/chen20c.pdf
-- Paper that introduced constrained SDDs (for computing MAJ-MAJ-SAT and SDP): https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12910/12466
