A unified framework for structure identification

Information Processing Letters

Volumn 81, Issue 6, 2002, Pages 335-339

  Zanuttini, Bruno ^a   Hébrard, Jean Jacques ^a  

^a UNIVERSITÉ DE CAEN   (France)

Author keywords

Affine; Combinatorial problems; Horn renamable; Prime implicate; Structure identification

Indexed keywords

ALGORITHMS; POLYNOMIALS; RELATIONAL DATABASE SYSTEMS;

STRUCTURE IDENTIFICATION;

COMBINATORIAL MATHEMATICS;

EID: 0037204525     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(01)00247-2     Document Type: Article

References (9)

1. Recognizing disguised nr(1) instances of the satisfiability problem
2. On renamable Horn and generalized Horn functions
3. Structure identification in relational data
4. Horn functions and their DNFs
5. A linear algorithm for renaming a set of clauses as a Horn set
6. The inverse satisfiability problem
7. On cores and prime implicants of truth functions
8. The complexity of satisfiability problems