Symbolic Inference and Optimization
Papers
Open-Universe Weighted Model Counting: Extended Abstract
PDFExpressing Probabilistic Graphical Models in RCC
PDFTrusted Machine Learning: Model Repair and Data Repair for Probabilistic Models
PDFNonlinear Optimization and Symbolic Dynamic Programming for Parameterized Hybrid Markov Decision Processes
PDFConditional Term Equivalent Symmetry Breaking for SAT
PDFPDDL+ Planning with Temporal Pattern Databases
PDFEmbedding Tarskian Semantics in Vector Spaces
PDFBDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems
PDF