STR2: optimized simple tabular reduction for table constraints

Author: Lecoutre Christophe  

Publisher: Springer Publishing Company

ISSN: 1383-7133

Source: Constraints, Vol.16, Iss.4, 2011-10, pp. : 341-371

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract