Oliver Kullmann's homepage
(and information on the SAT problem)

• with ps-files of my papers
• with links to pages and papers relevant for the SAT problem
• and finally with my curriculum vitae and my address.

Research: The Satisfiability Problem (SAT)

• A (commented) publication list of my papers.

• Software for SAT solving:
  1. Previously there was the "OKsolver" (more precisely, "OKsolver-2002"), a SAT solver with strong look-ahead and rather well-defined semantics, and there was the "OKgenerator", an AES-based strong pseudo-random generator for random formulas.

  2. These systems are now part of the OKlibrary .

  3. The following pages are not yet moved to the OKlibrary:
     • OKdatabase , a database for random formulas.
     • An XML standard for communication of SAT-related data (this document contains the document type definition itself; if your browser doesn't show anything, then look at the source text).

• Commented links to other sources for the SAT problem.

• Commented links to sources related to the SAT-problem in a wider sense.

• Tools I find useful in using the WWW.

• SAT 2009

Curriculum Vitae

Address

Lecturer at the
Computer Science Department
University of Wales Swansea
United Kingdom

Mailing Address: c/o Dr. Oliver Kullmann Computer Science Department Swansea University Singleton Park, Faraday Building Swansea SA2 8PP United Kingdom Phone: (44) (01792) 513369 Fax : (44) (01792) 295708

Office location: O. Kullmann Room 212, Faraday Building Singleton Park