National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Hyvärinen, Antti E. J
URI:
http://urn.fi/URN:NBN:fi:au:pn:000145534
name
Hyvärinen, Antti E. J
Authored works
Approaches to grid-based SAT solving
Grid based propositional satisfiability solving
Partitioning search spaces of a randomized search
Works contributed to
Works about Hyvärinen, Antti E. J
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
