Cristin-resultat-ID: 1949754
Sist endret: 25. januar 2022, 18:16
NVI-rapporteringsår: 2021
Resultat
Vitenskapelig artikkel
2021

Drawing with SAT: four methods and A tool for producing railway infrastructure schematics

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

Tidsskrift

Formal Aspects of Computing
ISSN 0934-5043
e-ISSN 1433-299X
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2021
Publisert online: 2021
Volum: 33
Sider: 829 - 854

Importkilder

Scopus-ID: 2-s2.0-85117364636

Beskrivelse Beskrivelse

Tittel

Drawing with SAT: four methods and A tool for producing railway infrastructure schematics

Bidragsytere

Bjørnar Luteberget

Bidragsyterens navn vises på dette resultatet som Bjørnar Steinnes Luteberget
  • Tilknyttet:
    Forfatter
    ved Mathematics and Cybernetics ved SINTEF AS

Christian Johansen

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1 - 2 av 2