Extending SAT solver with parity constraints

URI: http://urn.fi/URN:NBN:fi:bib:me:W00576179100

about

Boolen algebra

author

Laitinen, Tero

contributor

Aalto-yliopiston teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos

inLanguage

en

isPartOf

Fennica

name

Extending SAT solver with parity constraints

P60049

<http://rdaregistry.info/termList/RDAContentType/1020>

Instances

-
2010 : Aalto-yliopiston teknillinen korkeakoulu

Extending SAT solver with parity constraints

URI: http://urn.fi/URN:NBN:fi:bib:me:I00576179101

description

Myös verkkoaineistona ISBN 978-952-60-3224-5

isPartOf

name

Extending SAT solver with parity constraints

View this in Finna

Extending SAT solver with parity constraints

URI: http://urn.fi/URN:NBN:fi:bib:me:I00576179100

datePublished

2010

description

kuvitettu

identifier

propertyID: FI-FENNI value: 958740
propertyID: FI-MELINDA value: 005761791
propertyID: skl value: fx958740

isbn

9789526032238

isPartOf

name

Extending SAT solver with parity constraints

numberOfPages

73 sivua

P60048

<http://rdaregistry.info/termList/RDACarrierType/1049>

P60050

<http://rdaregistry.info/termList/RDAMediaType/1007>

publication

location: Espoo organizer: Aalto-yliopiston teknillinen korkeakoulu

publisher

Aalto-yliopiston teknillinen korkeakoulu

Download this resource as RDF: