Bianka M. M. T. Gonçalves

Learn More
4. Ten selected papers G. Istrate, The phase transition in random Horn satisfiability and its algorithmic implications, Random Structures and Algorithms 4 (2002), pp. 483—506. continuous-discontinuous second order transition in the satisfiability of a class of random Horn formulas.
  • 1