Deciding Boolean Algebra with Presburger Arithmetic


Published in:
Journal of Automated Reasoning, 36, 3
Year:
2006
Laboratories:




 Record created 2007-08-21, last modified 2018-01-28

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)