On the Usefulness of Clause Strengthening in Parallel SAT Solving.

Vincent Vallade Ludovic Le Frioux Souheib Baarir Julien Sopena Fabrice Kordon

Published in: NFM (2020)

Keyphrases

sat solving
sat solvers
clause learning
boolean satisfiability
sat problem
boolean optimization
information retrieval
search space
evolutionary algorithm
description logics
search tree
theorem prover
sat instances