Solving optimization problems via maximum satisfiability: encodings and re-encodings

URI: http://urn.fi/URN:NBN:fi:bib:me:W01224155000
about
author
contributor
inLanguage
  • en
isPartOf
name
  • Encodings and re-encodings
  • Solving optimization problems via maximum satisfiability: encodings and re-encodings
P60049

Instances

Solving optimization problems via maximum satisfiability: encodings and re-encodings

URI: http://urn.fi/URN:NBN:fi:bib:me:I01224155001
isbn
  • 9789515142429
isPartOf
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:I01224155101
isbn
  • 9789515142412
isPartOf
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
isPartOf
name
  • Solving optimization problems via maximum satisfiability: encodings and re-encodings
url

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
name
  • Encodings and re-encodings
  • Solving optimization problems via maximum satisfiability: encodings and re-encodings
numberOfPages
  • viii, 86 sivua, 95 sivua eri numerointijaksoina
P60048
P60050
publication
  • location: Helsinki organizer: Helsingin yliopisto
publisher

Solving optimization problems via maximum satisfiability: encodings and re-encodings

URI: http://urn.fi/URN:NBN:fi:bib:me:I01224155100
bookFormat
datePublished
  • 2018
description
  • Artikkeliväitöskirjan yhteenveto-osa.
  • kuvitettu
isbn
  • 9789515142429
isPartOf
name
  • Solving optimization problems via maximum satisfiability: encodings and re-encodings
numberOfPages
  • 1 verkkoaineisto (viii, 86 sivua)
P60048
P60050
publication
  • location: Helsinki organizer: Helsingin yliopisto
publisher
url

Download this resource as RDF: