𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Algorithm for Computing Minimal Coxian Representations

✍ Scribed by He, Q.-M.; Zhang, H.


Book ID
115515235
Publisher
Operations Research Society of America
Year
2008
Tongue
English
Weight
205 KB
Volume
20
Category
Article
ISSN
0899-1499

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


An algorithm for computing minimal curve
✍ Silvia Guarrera; Alessandro Logar; Emilia Mezzetti πŸ“‚ Article πŸ“… 1997 πŸ› Springer 🌐 English βš– 513 KB
Polynomial time algorithms for computing
✍ Hans Kleine BΓΌning; Xishun Zhao πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 72 KB

We say a propositional formula F in conjunctive normal form is represented by a formula H and a homomorphism Ο†, if Ο†(H ) = F . A homomorphism is a mapping consisting of a renaming and an identification of literals. The deficiency of a formula is the difference between the number of clauses and the n