Research Explorer
Papers
Conferences
Authors
Topics
Keywords
Trends
Achievements
Explore
← Authors
Copy link
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