scholarly journals Boolean Rings for Intersection-Based Satisfiability

Author(s):  
Nachum Dershowitz ◽  
Jieh Hsiang ◽  
Guan-Shieng Huang ◽  
Daher Kaiss
Keyword(s):  
1972 ◽  
Vol s2-5 (2) ◽  
pp. 219-221
Author(s):  
Alexander Abian
Keyword(s):  

Author(s):  
Nayak Hamsa ◽  
◽  
Kuncham Syam P. ◽  
Kedukodi Babushri S. ◽  
◽  
...  
Keyword(s):  

1944 ◽  
Vol 55 ◽  
pp. 393-393 ◽  
Author(s):  
B. A. Bernstein
Keyword(s):  

1969 ◽  
Vol 12 (3) ◽  
pp. 265-273 ◽  
Author(s):  
James R. Clay ◽  
Donald A. Lawver

In this paper we introduce the concept of Boolean near-rings. Using any Boolean ring with identity, we construct a class of Boolean near-rings, called special, and determine left ideals, ideals, factor near-rings which are Boolean rings, isomorphism classes, and ideals which are near-ring direct summands for these special Boolean near-rings.Blackett [6] discusses the near-ring of affine transformations on a vector space where the near-ring has a unique maximal ideal. Gonshor [10] defines abstract affine near-rings and completely determines the lattice of ideals for these near-rings. The near-ring of differentiable transformations is seen to be simple in [7], For near-rings with geometric interpretations, see [1] or [2].


2012 ◽  
Vol 55 (1) ◽  
pp. 127-137 ◽  
Author(s):  
John D. LaGrange

AbstractThe zero-divisor graph Γ(R) of a commutative ring R is the graph whose vertices consist of the nonzero zero-divisors of R such that distinct vertices x and y are adjacent if and only if xy = 0. In this paper, a characterization is provided for zero-divisor graphs of Boolean rings. Also, commutative rings R such that Γ(R) is isomorphic to the zero-divisor graph of a direct product of integral domains are classified, as well as those whose zero-divisor graphs are central vertex complete.


1986 ◽  
Vol 93 (2) ◽  
pp. 121 ◽  
Author(s):  
Michael O. Searcoid ◽  
Desmond MacHale
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document