| Publication | Date of Publication | Type |
|---|
| Learning shorter redundant clauses in SDCL using MaxSAT | 2024-11-26 | Paper |
| Limits of CDCL learning via merge resolution | 2024-11-26 | Paper |
| A closer look at the expressive power of logics based on word equations | 2024-07-29 | Paper |
| On the bounds for wave stability of stratified shear flows | 2024-07-04 | Paper |
| 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 |
| A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem | N/A | Paper |
| AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems | N/A | Paper |
