Linear-time algorithms for testing the satisfiability of propositional horn formulae

Dowling, William F.; Gallier, Jean H.

doi:10.1016/0743-1066(84)90014-1

Record: found
Abstract: not found
Article: not found

Linear-time algorithms for testing the satisfiability of propositional horn formulae

Author(s): William F. Dowling , Jean H. Gallier

Publication date Created: October 1984

Publication date (Print): October 1984

Journal: The Journal of Logic Programming

Publisher: Elsevier BV

Read this article at

ScienceOpenPublisher

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: The Journal of Logic Programming

Abbreviated Title: The Journal of Logic Programming

Publisher: Elsevier BV

ISSN (Print): 07431066

Publication date Created: October 1984

Publication date (Print): October 1984

Volume: 1

Issue: 3

Pages: 267-284

Article

DOI: 10.1016/0743-1066(84)90014-1

SO-VID: d56364a4-5489-46e5-9740-083edd099b1e

History

Data availability:

Linear-time algorithms for testing the satisfiability of propositional horn formulae

Read this article at

Related collections

HIV Self-Testing

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 3,124

Cited by 87