RegSTAB: A SAT Solver for Propositional Schemata.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Browse the full CADE paper archive.