26 results on '"Ganesh, Vijay"'
Search Results
2. BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
3. MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
4. Z3str4: A Multi-armed String Solver
5. On the Hierarchical Community Structure of Practical Boolean Formulas
6. An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
7. Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers
8. Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving
9. Accelerated Learning of Predictive Runtime Monitors for Rare Failure
10. Interpolating Strong Induction
11. Machine Learning-Based Restart Policy for CDCL SAT Solvers
12. StringFuzz: A Fuzzer for String Solvers
13. The Proof Complexity of SMT Solvers
14. A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers
15. An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate
16. Learning Rate Based Branching Heuristic for SAT Solvers
17. MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
18. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
19. Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers
20. Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints
21. Word Equations with Length Constraints: What’s Decidable?
22. Lynx: A Programmatic SAT Solver for the RNA-Folding Problem
23. HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
24. An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic
25. Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods
26. A Decision Procedure for Bit-Vectors and Arrays
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.