21 search results - page 5 / 5 » Bounded Depth Arithmetic Circuits: Counting and Closure |
LATIN
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...