“…It tends to produce reasonable reductions in acceptable processing time. Many techniques based on, e.g., variable elimination, clause elimination, and equivalence reasoning are being used to simplify SAT problems, whether prior to the solving phase (preprocessing) [8,10,12,15,16,24] or during the search (inprocessing) [3,18]. However, applying variable and clause M. Osama-This work is part of the GEARS project with project number TOP2.…”