Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ashish Sabharwal
Parallel Combinatorial Optimization With Decision Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Knowledge Completion for Generics Using Guided Tensor Factorization
Transactions of the Association for Computational Linguistics
SymChaff: Exploiting Symmetry in a Structure-Aware Satisfiability Solver
Constraints
Combinatorics
Mathematics
Discrete Mathematics
Computational Theory
Artificial Intelligence
Software
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting