Author of the publication

Comparison of Exact and Approximate methods for the Vehicle Routing Problem with Time Windows.

, , , , , , and . CASE, page 378-383. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (12): 5247-5260 (2020)Structural Coverability for Intelligent Automation Systems., , and . CASE, page 1-6. IEEE, (2023)An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem., , and . CASE, page 1364-1369. IEEE, (2021)Hybrid Computer-Human Supervision of Discrete Event Systems., , and . ICRA, page 2321-2326. IEEE, (2002)Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers., , and . MED, page 542-547. IEEE, (2021)Enumeration of Valid Partial Configurations., , and . Configuration Workshop, volume 755 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Evaluating Two Semantics for Falsification using an Autonomous Driving Example., , , and . INDIN, page 386-391. IEEE, (2019)Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation., , and . CASE, page 1590-1595. IEEE, (2020)Testing Cyber-Physical Systems Using a Line-Search Falsification Method., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (8): 2393-2406 (2022)Implementation of full synchronous composition using IEC 61499 function blocks., , , , and . CASE, page 267-272. IEEE, (2005)