🧑🔬 Niklas Een — papers of 2003 — 1 paper, the most cited first1 paper · all years of Niklas EenAn Extensible SAT-solverLecture notes in computer scienceNiklas Eén, Niklas Sörensson2003 · 2,641 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/niklas-een/year/2003/