Nikolaj Bj{\o}rner

Identifiers

• name variant Nikolaj Bj{\o}rner 0.50 · backfill

Papers (1)

1. Guiding High-Performance SAT Solvers with Unsat-Core Predictions cs.NE · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Daniel Selsam 1 shared papers