National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Solving optimization problems via maximum satisfiability: encodings and re-encodings
URI:
http://urn.fi/URN:NBN:fi:bib:me:W01224155000
about
algoritmit
kombinatoriikka
optimointi
author
Berg, Jeremias
contributor
Helsingin yliopisto. Matemaattis-luonnontieteellinen tiedekunta
inLanguage
en
isPartOf
Fennica
name
Encodings and re-encodings
Solving optimization problems via maximum satisfiability: encodings and re-encodings
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
-
-
-, e-book
2018 : Helsingin yliopisto
2018 : Helsingin yliopisto, e-book
Solving optimization problems via maximum satisfiability: encodings and re-encodings
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01224155101
isbn
9789515142412
isPartOf
Fennica
VVT julkaisuja
name
Solving optimization problems via maximum satisfiability: encodings and re-encodings
Solving optimization problems via maximum satisfiability: encodings and re-encodings
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01224155001
isbn
9789515142429
isPartOf
Fennica
VVT julkaisuja
name
Solving optimization problems via maximum satisfiability: encodings and re-encodings
Solving optimization problems via maximum satisfiability: encodings and re-encodings
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01224155002
bookFormat
<http://schema.org/EBook>
isPartOf
Fennica
VVT julkaisuja
name
Solving optimization problems via maximum satisfiability: encodings and re-encodings
url
<http://urn.fi/URN:ISBN:978-951-51-4242-9>
Solving optimization problems via maximum satisfiability: encodings and re-encodings
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01224155000
datePublished
2018
description
Artikkeliväitöskirjan yhteenveto-osa ja kuusi eripainosta.
kuvitettu
identifier
propertyID:
FI-MELINDA
value:
012241550
isbn
9789515142412
isPartOf
Fennica
VVT julkaisuja
name
Encodings and re-encodings
Solving optimization problems via maximum satisfiability: encodings and re-encodings
numberOfPages
viii, 86 sivua, 95 sivua eri numerointijaksoina
P60048
<http://rdaregistry.info/termList/RDACarrierType/1048>
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Helsinki
organizer:
Helsingin yliopisto
publisher
Helsingin yliopisto
Solving optimization problems via maximum satisfiability: encodings and re-encodings
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01224155100
bookFormat
<http://schema.org/EBook>
datePublished
2018
description
Artikkeliväitöskirjan yhteenveto-osa.
kuvitettu
isbn
9789515142429
isPartOf
Fennica
VVT julkaisuja
name
Solving optimization problems via maximum satisfiability: encodings and re-encodings
numberOfPages
1 verkkoaineisto (viii, 86 sivua)
P60048
<http://rdaregistry.info/termList/RDACarrierType/1018>
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1003>
publication
location:
Helsinki
organizer:
Helsingin yliopisto
publisher
Helsingin yliopisto
url
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD