Recognition of q-Horn Formulae in Linear Time

Endre Boros, Peter L. Hammer, Xiaorong Sun. Recognition of q-Horn Formulae in Linear Time. Discrete Applied Mathematics, 55(1):1-13, 1994. [doi]

Authors

Endre Boros

This author has not been identified. Look up 'Endre Boros' in Google

Peter L. Hammer

This author has not been identified. Look up 'Peter L. Hammer' in Google

Xiaorong Sun

This author has not been identified. Look up 'Xiaorong Sun' in Google