OpenAlex | A Polynomial-Time Dependence Test for Determining Integer-Valued Solutions in Multi-Dimensional Arrays Under Variable Bounds

A Polynomial-Time Dependence Test for Determining Integer-Valued Solutions in Multi-Dimensional Arrays Under Variable Bounds

Work

Year: 2005

Type: article

Source: The Journal of Supercomputing

Authors Weng-Long Chang, Chih‐Ping Chu, Jia-Hwa Wu

Institutions National Taiwan University, National Cheng Kung University

Cites: 33

Cited by: 1

Related to: 10

FWCI:

Citation percentile (by year/subfield):

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed