Browse Prior Art Database

A method for computing a minimum disjoint ternary vector representation for Boolean functions defined by intervals

IP.com Disclosure Number: IPCOM000015967D
Original Publication Date: 2002-Aug-29
Included in the Prior Art Database: 2003-Jun-21
Document File: 1 page(s) / 39K

Publishing Venue

IBM

Abstract

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

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 100% of the total text.

Page 1 of 1

  A method for computing a minimum disjoint ternary vector representation for Boolean functions defined by intervals

   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