output
20062024
most citedPreliminary Report: Missense mutations in the APOL gene family are associated with end stage kidney disease risk previously attributed to the MYH9 gene

654 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2006

A Scalable Algorithm for Minimal Unsatisfiable Core Extraction

Nachum Dershowitz, Ziyad Hanna, Alexander Nadel

We propose a new algorithm for minimal unsatisfiable core extraction, based on a deeper exploration of resolution-refutation properties. We provide experimental results on formal v…