Year: 2018
Type: preprint
Abstract: We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.
Source: arXiv (Cornell University)
Author: Abraham, Louis
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2786511092