Polynomial-time inference of all valid implications for Horn and related formulae

Journal article

Peer reviewed

E Boros, Y Crama and P. L Hammer

Annals of mathematics and artificial intelligence, Vol.1(1-4), pp.21-32

09/1990

Metrics

14 Record Views

Title: Polynomial-time inference of all valid implications for Horn and related formulae
Creators: E Boros
Y Crama
P. L Hammer
Publication Details: Annals of mathematics and artificial intelligence, Vol.1(1-4), pp.21-32
Date published: 09/1990
Academic Unit: Management Science and Information Systems (RBS)
Language: English
Resource Type: Journal article
Identifiers: 991031665699004646