book chapterLecture notes in computer scienceJan 1, 2004Closed access

An Extensible SAT-solver

NENiklas EénNSNiklas Sörensson

Chalmers University of Technology

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

2,608
total citations
FWCI
77.93
Percentile
100%
References
11
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Solver
  • Problem solver
  • Boolean satisfiability problem
  • Construct (python library)
  • Domain (mathematical analysis)
  • Programming language
  • Theoretical computer science
No related works found for this paper.