98 citations · 200 across the 15 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 98 cited
Efficient Certified RAT Verification
Luís Cruz-Filipe, Marijn Heule, Warren Hunt +2
Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive eve…
math.LO2016
Largest initial segments pointwise fixed by automorphisms of models of set theory
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Given a model of set theory, and a nontrivial automorphism of , let be the submodel of whose universe c…