Q3305349 (Q3305349): Difference between revisions

From MaRDI portal

Jump to:navigation, search

← Older edit Newer edit →

Revision as of 05:37, 23 July 2024

scientific article

Language	Label	Description	Also known as
English	No label defined	scientific article

Statements

scholarly article

0 references

Antoine Amarilli

0 references

0 references

Pierre Senellart

0 references

publication date

6 August 2020

0 references

full work available at URL

https://arxiv.org/abs/1709.06188

0 references

zbMATH Keywords

knowledge compilation

0 references

probabilistic databases

0 references

treewidth

0 references

circuits

0 references

MaRDI profile type

MaRDI publication profile

0 references

A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth

0 references

On compiling structured CNFs to OBDDs

0 references

On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision

0 references

A differential approach to inference in Bayesian networks

0 references

Inference and learning in probabilistic logic programs using weighted Boolean formulas

0 references

Query evaluation via tree-decompositions

0 references

On tree width, bramble size, and expansion

0 references

0 references

Graph minors. X: Obstructions to tree-decomposition

0 references

Probabilistic Databases

0 references

Identifiers

zbMATH Open document ID

0 references

10.4230/LIPIcs.ICDT.2018.6

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3305349

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305349&oldid=36605563"