No Cover Image

Journal article 604 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

Published in: Studies in Logic
Published: 2009
URI: https://cronfa.swan.ac.uk/Record/cronfa172
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: Studies in Logic 2(1)
College: College of Science
Issue: 1
Start Page: 20
End Page: 53