scientific article
From MaRDI portal
Publication:3124320
zbMATH Open0872.68059MaRDI QIDQ3124320
Publication date: 13 March 1997
Title of this publication is not available (Why is that?)
Related Items (1)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Fast algorithms for testing unsatisfiability of ground Horn clauses with equations 👍 👎
- A linear time algorithm for unique Horn satisfiability 👍 👎
- On good algorithms for determining unsatisfiability of propositional formulas 👍 👎
- Exact and parameterized algorithms for read-once refutations in Horn constraint systems 👍 👎
- Practical algorithms for unsatisfiability proof and core generation in SAT solvers 👍 👎
- Algorithms for testing the satisfiability of propositional formulae 👍 👎
- Read-once refutations in Horn constraint systems: an algorithmic approach 👍 👎
- Algorithms for testing satisfiability formulas 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3124320)
