A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING ; 47 ; 1-14
01.01.2001
14 pages
Aufsatz (Zeitschrift)
Englisch
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