Keyword:heuristic

Papers
EnPAC: Petri Net Model Checking for Linear Temporal Logic Zhijun Ding, Cong He and Shuo Li EasyChair Preprint no. 11276
The Bouquet of Features in Rolling Stock Rotation Planning Thomas Schlechte, Christian Blome, Stefan Gerber, Stefan Hauser, Jens Kasten, Gilbert Müller, Christof Schulz, Michel Thüring and Steffen Weider EasyChair Preprint no. 9834
Specially Structured Flow Shop Scheduling Models with Processing Times as Trapezoidal Fuzzy Numbers to Optimize Waiting Time of Jobs Bharat Goyal and Sandeep Kaur EasyChair Preprint no. 4862
Multi-Hybrid Algorithm for Searching Solutions to Optimization Problems: Case of Traveling Salesman Problem (TSP) Nguimeya Tsofack Baudoin EasyChair Preprint no. 4491
An Jayvasu Algorithm For Solving Permutation Flow Shop Scheduling Problem G. Vasudevan and S. Jayakumar Sundramurthy EasyChair Preprint no. 4450
HDAA: High-speed Data Acquisition Algorithm of IoT Zhijin Qiu, Suiping Qi, Zhengyu Zhou, Tong Hu, Jing Zou and Dongming Wang EasyChair Preprint no. 630
Playing Lorenzen Dialogue Games on the Web Jesse Alama and Sara L. Uckelman In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.