Pages that link to "Item:Q5433256"

The following pages link to A continuous–discontinuous second‐order transition in the satisfiability of random Horn‐SAT formulas (Q5433256):

Displaying 2 items.

• Copy complexity of Horn formulas with respect to unit read-once resolution (Q2235734) (← links)
• Combinatorial Problems for Horn Clauses (Q3655139) (← links)