( en | de | ru )

 

Disambiguierung von "Luteberget, Bjørnar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Optimization-Based Decision Support Tool for Incremental Train Timetabling.

, , , und . Oper. Res. Forum, 4 (3): 65 (September 2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Luteberget, Bjørnar
Eine Person hinzufügen mit dem Namen Luteberget, Bjørnar
 

Weitere Publikationen von Autoren mit dem selben Namen

A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems., , , und . Comput. Oper. Res., (2024)SAT modulo discrete event simulation applied to railway design capacity analysis., , , und . Formal Methods Syst. Des., 57 (2): 211-245 (2021)Synthesis of Railway Signaling Layout from Local Capacity Specifications., , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 121-137. Springer, (2019)Automated Drawing of Railway Schematics Using Numerical Optimization in SAT., , und . IFM, Volume 11918 von Lecture Notes in Computer Science, Seite 341-359. Springer, (2019)An Optimization-Based Decision Support Tool for Incremental Train Timetabling., , , und . Oper. Res. Forum, 4 (3): 65 (September 2023)Rule-Based Consistency Checking of Railway Infrastructure Designs., , und . IFM, Volume 9681 von Lecture Notes in Computer Science, Seite 491-507. Springer, (2016)Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation., , und . FMCAD, Seite 1-9. IEEE, (2018)Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations., , , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 772-778. (2016)