This article describes the application of customized proof techniques for proving theorems related to arithmetic circuits in the Coq theorem prover and generating Verilog code from Coq. By ...

This paper studies a hybrid flow shop scheduling problem with reentrant jobs from a copper strip cold rolling process in copper plants. The objective is to find a near-optimal job sequences to ...