SAT solving techniques: a bibliography
Logic in Computer Science
2018-04-24 v2
Authors:
Louis Abraham
Abstract
We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.
Keywords
Cite
@article{arxiv.1802.05159,
title = {SAT solving techniques: a bibliography},
author = {Louis Abraham},
journal= {arXiv preprint arXiv:1802.05159},
year = {2018}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Effectiveness of pre- and inprocessing for CDCL-based SAT solving
Andreas Wotzlaw, Alexander van der Grinten, Ewald Speckenmeyer
2013-10-18
Artificial Intelligence · Computer Science
Driving CDCL Search
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch +2
2016-11-17
Logic in Computer Science · Computer Science
CDCL(Crypto) SAT Solvers for Cryptanalysis
Saeed Nejati, Vijay Ganesh
2020-05-28
Artificial Intelligence · Computer Science
On Dedicated CDCL Strategies for PB Solvers
Daniel Le Berre, Romain Wallon
2021-09-03
Artificial Intelligence · Computer Science
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Yiwen Sun, Furong Ye, Xianyin Zhang, Shiyu Huang +3
2024-11-14
Computational Complexity · Computer Science
A Polynomial Time Algorithm for 3-SAT
Sergey Gubin
2008-07-15
Cryptography and Security · Computer Science
Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
Melki Bino
2026-05-06
Artificial Intelligence · Computer Science
Explaining SAT Solving Using Causal Reasoning
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos +1
2023-06-13
Artificial Intelligence · Computer Science
Extracting Problem Structure with LLMs for Optimized SAT Local Search
André Schidler, Stefan Szeider
2025-02-05
Logic in Computer Science · Computer Science
On Tackling the Limits of Resolution in SAT Solving
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
2017-07-06
Artificial Intelligence · Computer Science
IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez-Carbonell
2024-02-27
Artificial Intelligence · Computer Science
Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization
Matthias Nickles
2019-01-01
Artificial Intelligence · Computer Science
An Empirical Evaluation of Portfolios Approaches for solving CSPs
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014-01-07
Artificial Intelligence · Computer Science
A Logical Approach to Efficient Max-SAT solving
Javier Larrosa, Federico Heras, Simon de Givry
2007-05-23
Artificial Intelligence · Computer Science
Extending Modern SAT Solvers for Enumerating All Models
Said Jabbour, Lakhdar Sais, Yakoub Salhi
2013-05-08
Logic in Computer Science · Computer Science
Designing New Phase Selection Heuristics
Arijit Shaw, Kuldeep S. Meel
2020-05-12
Logic in Computer Science · Computer Science
SAT-based Explicit LTLf Satisfiability Checking
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang +1
2018-11-09
Artificial Intelligence · Computer Science
Simple Algorithm Portfolio for SAT
Mladen Nikolic, Filip Maric, Predrag Janicic
2011-12-14
Logic in Computer Science · Computer Science
On CDCL-based proof systems with the ordered decision strategy
Nathan Mull, Shuo Pang, Alexander Razborov
2019-09-11
Artificial Intelligence · Computer Science
Machine Learning Methods in Solving the Boolean Satisfiability Problem
Wenxuan Guo, Junchi Yan, Hui-Ling Zhen, Xijun Li +2
2023-10-25
Logic in Computer Science · Computer Science
Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan +4
2025-07-03
Data Structures and Algorithms · Computer Science
The fast parallel algorithm for CNF SAT without algebra
Carlos Barrón-Romero
2018-04-17
Artificial Intelligence · Computer Science
Machine Learning for SAT: Restricted Heuristics and New Graph Representations
Mikhail Shirokikh, Ilya Shenbin, Anton Alekseev, Sergey Nikolenko
2023-07-19
Artificial Intelligence · Computer Science
Solving MaxSAT by Successive Calls to a SAT Solver
Mohamed El Halaby
2018-06-13
Artificial Intelligence · Computer Science
On the Effect of Learned Clauses on Stochastic Local Search
Jan-Hendrik Lorenz, Florian Wörz
2020-05-11