Publications

Found 1 results
Filters: Keyword is Integer programming feasibility problem  [Clear All Filters]
2000
Park T, Barton PI.  2000.  Formal verification of sequence controllers. Computers & Chemical Engineering. 23:1783-1793.