1. Sufficient Condition for Polynomial Solvability of Random 3-CNF Formulas;Doklady Mathematics;2024-09-13
2. Configuring BDD Compilation Techniques for Feature Models;28th ACM International Systems and Software Product Line Conference;2024-09-02
3. A Formal Explainer for Just-In-Time Defect Predictions;ACM Transactions on Software Engineering and Methodology;2024-08-26
4. A Graphical #SAT Algorithm for Formulae with Small Clause Density;Electronic Proceedings in Theoretical Computer Science;2024-08-12
5. SAT and Lattice Reduction for Integer Factorization;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16