Cristin-resultat-ID: 1784220
Sist endret: 28. januar 2020, 13:54
NVI-rapporteringsår: 2019
Resultat
Vitenskapelig artikkel
2019

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT

Bidragsytere:
  • Bjørnar Steinnes Luteberget
  • Koen Claessen og
  • Christian Johansen

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2019
Volum: 11918 LNCS
Sider: 341 - 359
Open Access

Lenker

original online (doi)

Institusjonsarkiv

hdl.handle.net/10852/77300

Importkilder

Scopus-ID: 2-s2.0-85076994711

Beskrivelse Beskrivelse

Tittel

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT

Bidragsytere

Bjørnar Luteberget

Bidragsyterens navn vises på dette resultatet som Bjørnar Steinnes Luteberget
  • Tilknyttet:
    Forfatter
    ved Andre institusjoner

Koen Claessen

  • Tilknyttet:
    Forfatter
    ved Chalmers tekniska högskola

Christian Johansen

  • Tilknyttet:
    Forfatter
    ved Autonomi og sensorteknologier ved Universitetet i Oslo
1 - 3 av 3