Domain-Driven Approaches for Constrained Counting and Sampling
| dc.contributor.advisor | Vardi, Moshe Y | en_US |
| dc.creator | Shrotri, Aditya Aniruddha | en_US |
| dc.date.accessioned | 2022-10-04T15:57:25Z | en_US |
| dc.date.available | 2022-10-04T15:57:25Z | en_US |
| dc.date.created | 2021-12 | en_US |
| dc.date.issued | 2021-12-16 | en_US |
| dc.date.submitted | December 2021 | en_US |
| dc.date.updated | 2022-10-04T15:57:25Z | en_US |
| dc.description.abstract | Constrained Counting and Sampling are two fundamental problems in Computer Science, where the task is to count the number of solutions or satisfying assignments to a given set of constraints, or to sample a solution uniformly at random. Counting and sampling along with their approximate and weighted variants have been extensively studied in both theory and practice. However, this research effort has been disjointed, resulting in significant gaps in knowledge. On one hand, algorithms with worst-case polynomial running times are considered to be the gold standard by the theory community, but rarely scale well in practice. On the other hand, powerful general-purpose algorithms and tools developed by the AI and Formal Methods communities often fail to scale on ‘easy’ problems with polynomial upper bounds. The goal of this dissertation is to illuminate and address this disconnect. Specifically, we develop flexible techniques that natively exploit the structure inherent in domain-specific constraints. This often leads to significant performance gains over the popular approach which attempts to shoehorn all constraints to fit a rigid algorithm. Motivated by numerous practical applications and a lack of practically scalable tools with strong theoretical guarantees, we present new solutions for the concrete problems of DNF-Counting, conditional counting, computing the matrix permanent, sampling traces of a transition system and weighted sampling from low-treewidth CNF formulas. Our empirical analyses reveal a nuanced picture wherein our approaches are seen to be a valuable addition to an algorithmic portfolio. | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.identifier.citation | Shrotri, Aditya Aniruddha. "Domain-Driven Approaches for Constrained Counting and Sampling." (2021) Diss., Rice University. <a href="https://hdl.handle.net/1911/113480">https://hdl.handle.net/1911/113480</a>. | en_US |
| dc.identifier.uri | https://hdl.handle.net/1911/113480 | en_US |
| dc.language.iso | eng | en_US |
| dc.rights | Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. | en_US |
| dc.subject | Constraints | en_US |
| dc.subject | Model Counting | en_US |
| dc.subject | Uniform Sampling | en_US |
| dc.subject | Weighted Sampling | en_US |
| dc.title | Domain-Driven Approaches for Constrained Counting and Sampling | en_US |
| dc.type | Thesis | en_US |
| dc.type.material | Text | en_US |
| thesis.degree.department | Computer Science | en_US |
| thesis.degree.discipline | Engineering | en_US |
| thesis.degree.grantor | Rice University | en_US |
| thesis.degree.level | Doctoral | en_US |
| thesis.degree.name | Doctor of Philosophy | en_US |
Files
Original bundle
1 - 1 of 1