Browse Prior Art Database

A method for computing a minimum disjoint ternary vector representation for Boolean functions defined by intervals Disclosure Number: IPCOM000015967D
Original Publication Date: 2002-Aug-29
Included in the Prior Art Database: 2003-Jun-21

Publishing Venue



Ternary vectors are used to represent constraints in test generation software programs and many of these constraints are an entire set of integers in the range of two numbers [a,b] . Finding a small representation for constraints is a problem of this software. This invention solves the problem of finding a minimal set of ternary vectors that represent the entire set of integers in the range of two numbers [a,b]. When the set of ternary vectors is dijoint then the processing of some operations is improved. There is no known method to obtain a minimum representation. Current software in IBM (Genesys-Pro) uses a method which provides poorer results. Our method is always at least as good as the existing method. MERGED WITH IL8-2001-0033 1