activity
20072020
most citedCircuit-Based Intrinsic Methods to Detect Overfitting

6 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing 2010Show all

1 paper · 1 filter

cs.LO2010

A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction

Niklas Een, Alan Mishchenko, Nina Amla

This paper presents an efficient, combined formulation of two widely used abstraction methods for bit-level verification: counterexample-based abstraction (CBA) and proof-based abs…