Keyword:Integer Linear Programming

Publications
Task Mapping and Scheduling in FPGA-Based Heterogeneous Real-Time Systems: a RISC-V Case-Study Sallar Ahmadi-Pour, Sangeet Saha, Vladimir Herdt, Rolf Drechsler and Klaus McDonald-Maier EasyChair Preprint 8979
A New Model for Multi-Robot Path Planning on Graphs with Using Network Flow Samira Kashefi Biroon, Bahram Sadeghi Bigham and Salman Khodayifar EasyChair Preprint 2029
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems Rachel Faran and Orna Kupferman In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning