View in EDS PDF Full Text

MallobSat: Scalable SAT Solving by Clause Sharing.

Saved in:
Bibliographic Details
Title: MallobSat: Scalable SAT Solving by Clause Sharing.
Authors: Schreiber, Dominik1 dominik.schreiber@kit.edu, Sanders, Peter1 sanders@kit.edu
Source: Journal of Artificial Intelligence Research. 2024, Vol. 80, p1437-1495. 59p.
Database: Mathematics Source
Description
ISSN:10769757
DOI:10.1613/jair.1.15827