Pages that link to "Item:Q2399383"
From MaRDI portal
The following pages link to On a generalization of Horn constraint systems (Q2399383):
Displaying 8 items.
- An algorithm to compute maximal contractions for Horn clauses (Q543196) (← links)
- Satisfiability of mixed Horn formulas (Q997066) (← links)
- Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow (Q1356203) (← links)
- Autark assignments of Horn CNFs (Q1742887) (← links)
- On generalized constraints and certificates (Q1841905) (← links)
- Analyzing fractional Horn constraint systems (Q2205946) (← links)
- Feasibility checking in Horn constraint systems through a reduction based approach (Q2344728) (← links)
- A combinatorial algorithm for Horn programs (Q2445839) (← links)