Lecture notes in computer science 2003 — papers
The works of Lecture notes in computer science published in 2003 that our library holds (publisher: Springer Science+Business Media): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.
Works with our summary in our library (1)
- An Extensible SAT-solverLecture notes in computer scienceNiklas Eén, Niklas Sörensson2003 · 2,641 citations
Fields
Top authors
Top institutions
This page in Markdown → https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2003/