Author:
Brlek Srecko,Brocchi Stefano,Frosini Andrea
Subject
Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Theoretical Computer Science
Reference27 articles.
1. Network Flows: Theory, Algorithms, and Applications;Ahuja,1993
2. Survey, categorization, and comparison of recent tour scheduling literature;Alfares;Ann. Oper. Res.,2004
3. The embedded software of an electricity meter: an experience in using formal methods in an industrial project;Arnold;Sci. Comput. Program.,1997
4. Solving the two color problem – an heuristic algorithm;Barcucci,2011
5. Symbolic timing devices;Bergeron,1995