zbMath0929.68088MaRDI QIDQ4252413
Gabriel I. Istrate
Publication date: 2 February 2000
zbMATH Keywords
Horn satisfiability; satisfiability threshold
Mathematics Subject Classification ID
05C05: Trees
68R10: Graph theory (including graph drawing) in computer science
Related Items