𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Combinatorial characterization of read-once formulae

✍ Scribed by M. Karchmer; N. Linial; I. Newman; M. Saks; A. Wigderson


Book ID
103057750
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
475 KB
Volume
114
Category
Article
ISSN
0012-365X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On Interpolating Arithmetic Read-Once Fo
✍ Daoud Bshouty; Nader H Bshouty πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 330 KB

A formula is a read-once formula if each variable appears at most once in it. An arithmetic read-once formula (AROF) with exponentiation is one in which the operations are addition, substraction, multiplication, division and exponentiation to an arbitrary integer. We present a polynomial time algori

The Complexity of Read-Once Resolution
✍ Hans Kleine BΓΌning; Xishun Zhao πŸ“‚ Article πŸ“… 2002 πŸ› Springer Netherlands 🌐 English βš– 140 KB