Keyword:heuristic

Publications
EnPAC: Petri Net Model Checking for Linear Temporal Logic Zhijun Ding, Cong He and Shuo Li EasyChair Preprint 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 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 4862
Multi-Hybrid Algorithm for Searching Solutions to Optimization Problems: Case of Traveling Salesman Problem (TSP) Nguimeya Tsofack Baudoin EasyChair Preprint 4491
An Jayvasu Algorithm For Solving Permutation Flow Shop Scheduling Problem G. Vasudevan and S. Jayakumar Sundramurthy EasyChair Preprint 4450
HDAA: High-speed Data Acquisition Algorithm of IoT Zhijin Qiu, Suiping Qi, Zhengyu Zhou, Tong Hu, Jing Zou and Dongming Wang EasyChair Preprint 630
Dataset-Specific Strategies for the E Theorem Prover Jack McKeown and Geoff Sutcliffe In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
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.