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