The following pages link to Vijay Ganesh (Q526761):
Displaying 22 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)
- Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT (Q2200304) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Applying computer algebra systems with SAT solvers to the Williamson conjecture (Q2307627) (← links)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)
- Community and LBD-based clause sharing policy for parallel SAT solving (Q2661331) (← links)
- Towards a complexity-theoretic understanding of restarts in SAT solvers (Q2661349) (← links)
- Towards more efficient methods for solving regular-expression heavy string constraints (Q2680985) (← links)
- Learning Rate Based Branching Heuristic for SAT Solvers (Q2818006) (← links)
- MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures (Q2829996) (← links)
- Impact of Community Structure on SAT Solver Performance (Q3192075) (← 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)
