Keyword:Integer Linear Programming

Papers
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 no. 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 no. 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