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

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2006Show 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…