Bjørner, Nikolaj S.

2 publications

IJCAI 2018 Core-Guided Minimal Correction Set and Core Enumeration Nina Narodytska, Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv

IJCAI 2015 Maximum Satisfiability Using Cores and Correction Sets Nikolaj S. Bjørner, Nina Narodytska