Author:
Hébrard Jean-Jacques,Luquet Philippe
Reference15 articles.
1. Recognizing Disguised NR(1) Instances of the Satisfiability Problem;Aspvall;J. Algorithms,1980
2. A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas;Aspvall;Inform. Process. Lett.,1979
3. Polynomial-Time Inference of All Valid Implications for Horn and Related Formulæ;Boros;Ann. Math. AI,1990
4. Recognition of q-Horn Formulæ in Linear Time;Boros;Discrete Appl. Math.,1994
5. On Renamable Horn and Generalized Horn Functions;Chandru;Ann. Math. AI,1990