Vijay Ganesh

Available identifiers

zbMath Open ganesh.vijayWikidataQ102110709 ScholiaQ102110709MaRDI QIDQ526761

List of research outcomes

Publication	Date of Publication	Type
Interpolating strong induction	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q6190877	2024-02-06	Paper
Machine learning and logic: a new frontier in artificial intelligence	2023-10-30	Paper
Diversifying a parallel SAT solver with Bayesian moment matching	2023-08-10	Paper
The proof complexity of SMT solvers	2023-05-05	Paper
Towards more efficient methods for solving regular-expression heavy string constraints	2023-01-05	Paper
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten	2022-10-13	Paper
String theories involving regular membership predicates: from practice to theory and back	2022-05-20	Paper
An SMT solver for regular expressions and linear arithmetic over string length	2022-03-25	Paper
On the hierarchical community structure of practical Boolean formulas	2022-03-22	Paper
On the Unreasonable Effectiveness of SAT Solvers	2022-02-04	Paper
Community and LBD-based clause sharing policy for parallel SAT solving	2021-04-07	Paper
Towards a complexity-theoretic understanding of restarts in SAT solvers	2021-04-07	Paper
A SAT-based Resolution of Lam's Problem	2020-12-08	Paper
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences	2020-12-04	Paper
Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT	2020-09-19	Paper
Enumeration of Complex Golay Pairs via Programmatic SAT	2020-09-09	Paper
A nonexistence certificate for projective planes of order ten with weight 15 codewords	2020-07-15	Paper
Applying computer algebra systems with SAT solvers to the Williamson conjecture	2020-03-24	Paper
The SAT+CAS method for combinatorial search with applications to best matrices	2020-02-11	Paper
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem	2020-01-31	Paper
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics	2019-07-09	Paper
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples	2018-11-12	Paper
The satisfiability of word equations: decidable and undecidable theories	2018-10-23	Paper
Machine learning-based restart policy for CDCL SAT solvers	2018-08-10	Paper
An empirical study of branching heuristics through the lens of global learning rate	2017-11-15	Paper
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures	2017-06-29	Paper
Z3str2: an efficient solver for strings, regular expressions, and length constraints	2017-05-15	Paper
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures	2016-11-09	Paper
Learning Rate Based Branching Heuristic for SAT Solvers	2016-09-05	Paper
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers	2015-12-02	Paper
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers	2015-11-20	Paper
Impact of Community Structure on SAT Solver Performance	2014-09-26	Paper
A Decision Procedure for Bit-Vectors and Arrays	2007-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4427903	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417953	2003-07-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vijay Ganesh