No Cover Image

Journal article 807 views

The OKlibrary: Introducing a "holistic" research platform for (generalised) SAT solving

Oliver Kullmann Orcid Logo

Studies in Logic, Volume: 2, Issue: 1, Pages: 20 - 53

Swansea University Author: Oliver Kullmann Orcid Logo

Published in: Studies in Logic
Published: 2009
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: Studies in Logic 2(1)
College: Faculty of Science and Engineering
Issue: 1
Start Page: 20
End Page: 53