National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Laitinen, Tero
URI:
http://urn.fi/URN:NBN:fi:au:pn:000159552
name
Laitinen, Tero
Authored works
Extending SAT solver with parity constraints
Extending SAT solver with parity reasoning
Works contributed to
Works about Laitinen, Tero
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
