Research graph
References from Consequence Operations Based on Hypergraph Satisfiability. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1991 · External reference
Unresolved reference
1993 · External reference
10.1007/bf01057654
10.1007/bf01057654 · 1993 · External reference
10.1016/0304-3975(85)90227-0
10.1016/0304-3975(85)90227-0 · 1985 · External reference
