Extending SAT solver with parity reasoning

URI: http://urn.fi/URN:NBN:fi:bib:me:W00700098500
about
author
contributor
inLanguage
  • en
isPartOf
name
  • Extending SAT solver with parity reasoning
P60049

Instances

Extending SAT solver with parity reasoning

URI: http://urn.fi/URN:NBN:fi:bib:me:I00700098502
isbn
  • 9789526059457
isPartOf
name
  • Extending SAT solver with parity reasoning

Extending SAT solver with parity reasoning

URI: http://urn.fi/URN:NBN:fi:bib:me:I00700098501
description
  • Yhteenveto-osa julkaistu myös verkkoaineistona
isPartOf
name
  • Extending SAT solver with parity reasoning

Extending SAT solver with parity reasoning

URI: http://urn.fi/URN:NBN:fi:bib:me:I00700098500
datePublished
  • 2014
description
  • Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta.
  • kuvitettu
identifier
  • propertyID: FI-MELINDA value: 007000985
isbn
  • 9789526059440
isPartOf
name
  • Extending SAT solver with parity reasoning
numberOfPages
  • 151, [78] sivu
P60048
P60050
publication
  • location: Helsinki organizer: Aalto University, School of Science, Department of Information and Computer Science
publisher
  • Aalto University, School of Science, Department of Information and Computer Science

Download this resource as RDF: