Autark assignments of Horn CNFs
From MaRDI portal
Publication:1742887
DOI10.1007/S13160-017-0284-6zbMATH Open1390.68599OpenAlexW2780854972MaRDI QIDQ1742887FDOQ1742887
Authors: Kei Kimura, Kazuhisa Makino 
Publication date: 12 April 2018
Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s13160-017-0284-6
Recommendations
- Automating induction for solving Horn clauses
- On a generalization of Horn constraint systems
- Compactly generating all satisfying truth assignments of a Horn formula
- Solving constrained Horn clauses using dependence-disjoint expansions
- Tree automata-based refinement with application to Horn clause verification
- Horn clause solvers for program verification
- Hardness results for approximate pure Horn CNF formulae minimization
- HORNLOG: A graph-based interpreter for general Horn clauses
- Efficient CTL verification via Horn constraints solving
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms (68W40) Boolean programming (90C09)
Cites Work
- Title not available (Why is that?)
- Polynomial-time inference of all valid implications for Horn and related formulae
- Title not available (Why is that?)
- Renaming a Set of Clauses as a Horn Set
- On the Complexity of Timetable and Multicommodity Flow Problems
- Solving satisfiability in less than \(2^ n\) steps
- Some results and experiments in programming techniques for propositional logic
- Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
- Unit Refutations and Horn Sets
- Title not available (Why is that?)
- Investigations on autark assignments
- Parallel cooperative propositional theorem proving
- A short note on some tractable cases of the satisfiability problem.
- Introduction to Mathematics of Satisfiability
Cited In (2)
Uses Software
This page was built for publication: Autark assignments of Horn CNFs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1742887)
