Found 6 Documents (Results 1–6)
Recognition of simple enlarged Horn formulas and simple extended Horn formulas. (English) Zbl 1050.68046
MSC:
68Q25
The Horn basis of a set of clauses. (English) Zbl 0903.68029
MSC:
68N17
Unique Horn renaming and Unique 2-Satisfiability. (English) Zbl 0875.68454
MSC:
68W10
Strategies for modal resolution: Results and problems. (English) Zbl 0709.03008
Reviewer: C.Masalagiu
Filter Results by …
all
top 5
Author
- Hébrard, Jean-Jacques (6)
- Auffray, Yves (1)
- Benoist, Emmanuel (1)
- Enjalbert, Patrice (1)
- Luquet, Philippe (1)
- Zanuttini, Bruno (1)