An efficient hybrid approach for resolving the aircraft routing and rescheduling problem

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

Recoverability of Communication Protocols--Implications of a Theoretical Study

Philip M. Merlin, David Farber · IRE Transactions on Communications Systems · 1976 · 874 citations

Computing, Computer Science, Computer Systems +14

Dynamic variable ordering for ordered binary decision diagrams

Richard Rudell · International Conference on Computer Aided Design · 1993 · 851 citations

Engineering, Computer Engineering, Computer Science +16

Improving the variable ordering of OBDDs is NP-complete

Beate Bollig, Ingo Wegener · IEEE Transactions on Computers · 1996 · 552 citations

Computing, Computer Science, Mathematics +17

The Air Traffic Flow Management Problem with Enroute Capacities

Dimitris Bertsimas, Sarah Stock Patterson · Operations Research · 1998 · 520 citations

Management, Decision Sciences, Operations Management +14