National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Järvisalo, Matti
URI:
http://urn.fi/URN:NBN:fi:au:pn:000134561
name
Järvisalo, Matti
Authored works
Impact of restricted branching on clause learning SAT solving
Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking
Structure-based satisfiability checking : analyzing and harnessing the potential
Works contributed to
Works about Järvisalo, Matti
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD