Approaches to grid-based SAT solving

URI: http://urn.fi/URN:NBN:fi:bib:me:W00567888400
author
contributor
inLanguage
  • en
isPartOf
name
  • Approaches to grid-based SAT solving
P60049

Instances

Approaches to grid-based SAT solving

URI: http://urn.fi/URN:NBN:fi:bib:me:I00567888401
description
  • Myös verkkoaineistona ISBN 978-951-22-9943-0 (PDF)
isPartOf
name
  • Approaches to grid-based SAT solving
View this in Finna

Approaches to grid-based SAT solving

URI: http://urn.fi/URN:NBN:fi:bib:me:I00567888400
datePublished
  • 2009
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 938186
  • propertyID: FI-MELINDA value: 005678884
  • propertyID: skl value: fx938186
isbn
  • 9789512299423
isPartOf
name
  • Approaches to grid-based SAT solving
numberOfPages
  • 85 sivua
P60048
P60050
publication
  • location: Espoo organizer: Teknillinen korkeakoulu
publisher

Download this resource as RDF: