𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A polynomial-time algorithm for reducing the number of variables in MAX SAT problem

✍ Scribed by Shaohan Ma; Dongmin Liang

Publisher
SP Science China Press
Year
1997
Tongue
English
Weight
570 KB
Volume
40
Category
Article
ISSN
1006-9321

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Polynomial time algorithms for minimizin
Polynomial time algorithms for minimizing the weighted number of late jobs on a single machine with equal processing times
✍ Philippe Baptiste πŸ“‚ Article πŸ“… 1999 πŸ› Springer US 🌐 English βš– 102 KB πŸ‘ 2 views

We study the problem of minimizing the weighted number of late jobs to be scheduled on a single machine when processing times are equal. In this paper, we show that this problem, as well as its preemptive variant, are strongly polynomial. When preemption is not allowed ( 1"p H "p, r H " w H ; H ), t