cs.LO 2602.19102

Table-based Quantifier Elimination

Proposes a table-based quantifier elimination method to enhance SAT and ASP solver performance.

Pierre Carbonnelle

2026-02-22 10