Ad Astra Awards
Ad Astra Journal
Science library
White book
University rankings
Who's who
Publications
Theses and dissertations
Ad Astra association
 
Press releases
News
Events
Funding opportunities
 
Login
Registration
 
>> Românã
 
   
 

Gabriel Istrate. The Phase Transition in Random Horn satisfiability and its algorithmic implications. Random Structures and Algorithms, vol. 20 no. 4, pp. 483-506, 2002.

Abstract: I determine the threshold behaviour of random Horn satisfiability via a probabilistic analysis of positive unit resolution, also determining as a byproduct the average-case complexity of this algorithm.

A preliminary version can be read from

http://xxx.lanl.gov/abs/cs.DS/9912001

Keywords: satisfiability, positive unit resolution, threshold properties

URL: http://www3.interscience.wiley.com/cgi-bin/abstract/93516258/ABSTRACT

Posted by Gabriel Istrate

Back

   
© Ad Astra 2001-2013