Impact of restricted branching on clause learning SAT solving

URI: http://urn.fi/URN:NBN:fi:bib:me:W00394306100
author
contributor
inLanguage
  • en
isPartOf
name
  • Impact of restricted branching on clause learning SAT solving
P60049

Instances

View this in Finna

Impact of restricted branching on clause learning SAT solving

URI: http://urn.fi/URN:NBN:fi:bib:me:I00394306100
datePublished
  • 2007
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 877509
  • propertyID: FI-MELINDA value: 003943061
  • propertyID: FI-MELINDA value: 005173926
  • propertyID: skl value: fx877509
isbn
  • 9789512289073
isPartOf
name
  • Impact of restricted branching on clause learning SAT solving
numberOfPages
  • viii, 62 s.
P60048
P60050
publication
  • location: Espoo organizer: Teknillinen korkeakoulu
publisher

Download this resource as RDF: