TaSSAT: Transfer and Share SAT.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Exploring Conflict Generating Decisions: Initial Results (Extended Abstract).
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024
Artifact for TaSSAT: A Stochastic Local Search Solver for SAT.
Dataset, October, 2023
A Linear Weight Transfer Rule for Local Search.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
A Deep Dive into Conflict Generating Decisions.
CoRR, 2021
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Characterization of Glue Variables in CDCL SAT Solving.
CoRR, 2019
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics.
Proceedings of the Principles and Practice of Constraint Programming, 2019
Evolving Real-Time Heuristics Search Algorithms with Building Blocks.
CoRR, 2018
Task and Energy Aware Node Placement in Wirelessly Rechargeable WSNs.
CoRR, 2018
Preliminary Results on Exploration-Driven Satisfiability Solving.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Flexible Approximators for Approximating Fixpoint Theory.
Proceedings of the Advances in Artificial Intelligence, 2016
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014
SAT with Global Constraints.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012