Fmcad2026_noblecount

Created in September 01, 2026

2026

New paper at FMCAD 2026!

Our paper NobleCount: Revisiting a Forgotten Data Structure for Local Search in SAT (with Alexander Nadel and Ofer Strichman) appears at the 26th Conference on Formal Methods in Computer-Aided Design (FMCAD 2026). [PDF]