Nikolaj Bjorner

1 papers · 2015–2015 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Nina Narodytska (1)

Papers

Maximum Satisfiability Using Cores and Correction Sets IJCAI 2015