The following pages link to Vijay Ganesh (Q526761):
Displaying 12 items.
- Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767) (← links)
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- An SMT solver for regular expressions and linear arithmetic over string length (Q832270) (← links)
- Machine learning-based restart policy for CDCL SAT solvers (Q1656568) (← links)
- An empirical study of branching heuristics through the lens of global learning rate (Q1680251) (← links)
- The satisfiability of word equations: decidable and undecidable theories (Q1798903) (← links)
- On the hierarchical community structure of practical Boolean formulas (Q2118321) (← links)
- String theories involving regular membership predicates: from practice to theory and back (Q2140459) (← links)
- Machine learning and logic: a new frontier in artificial intelligence (Q6056641) (← links)
- A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples (Q6309599) (← links)
- Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem (Q6333896) (← links)
- A SAT-based Resolution of Lam's Problem (Q6355609) (← links)