Search

Showing total 9 results
9 results

Search Results

1. On-line machine covering on two machines with local migration

2. Flexible job-shop scheduling with parallel variable neighborhood search algorithm

3. Scheduling with families of jobs and delivery coordination under job availability

4. Speed up of the edge-based inverse halftoning algorithm using a finite state machine model approach

5. On the Hopcroft’s minimization technique for DFA and DFCA

6. Simultaneous batch splitting and scheduling on identical parallel production lines

7. Handling Left-Quadratic Rules When Completing Tree Automata.

8. Approximated Reachability on Hybrid Automata: Falsification meets Certification.

9. ACTLW – An action-based computation tree logic with unless operator