A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING ; 47 ; 1-14
2001-01-01
14 pages
Article (Journal)
English
DDC: | 005.115 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Uncertainty-valued horn clauses
TIBKAT | 1994
|Solving Constrained Horn Clauses as C Programs with CHC2C
Springer Verlag | 2024
|SAE Technical Papers | 2006