Boolean Rings for Intersection-Based Satisfiability

Resource

Proceedings of LPAR 2006. Cambodia, 13-17 Nov. 2006

Journal

LPAR 2006

Pages

-

Date Issued

2006

Date

2006

Author(s)

Dershowitz Nachum

Huang Guan-shieng

Kaiss Daher

URI

Description

Cambodia

Type

conference paper