Journal article 1947 views
The OKlibrary: Introducing a "holistic" research platform for (generalised) SAT solving
Oliver Kullmann 
Studies in Logic, Volume: 2, Issue: 1, Pages: 20 - 53
Swansea University Author:
Oliver Kullmann
Abstract
The OKlibrary: Introducing a "holistic" research platform for (generalised) SAT solving
| Published in: | Studies in Logic |
|---|---|
| Published: |
2009
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa172 |
| Item Description: |
Studies in Logic 2(1) |
|---|---|
| College: |
Faculty of Science and Engineering |
| Issue: |
1 |
| Start Page: |
20 |
| End Page: |
53 |