Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Neha Lodha
A SAT Approach to Branchwidth
Related publications
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Parallel SAT to Distributed SAT
To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale
Branching Process Approach for 2-Sat Thresholds
Journal of Applied Probability
Mathematics
Statistics
Uncertainty
Probability
A Fast Counterexample Minimization Approach With Refutation Analysis and Incremental SAT
A Translation of Pseudo-Boolean Constraints to SAT
Journal on Satisfiability, Boolean Modeling and Computation
Three “Quantum” Algorithms to Solve 3-Sat
Theoretical Computer Science
Computer Science
Theoretical Computer Science
New Tools and Simpler Algorithms for Branchwidth
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Graphs With Branchwidth at Most Three
Journal of Algorithms
