Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference25 articles.
1. A linear-time algorithm for testing the truth of certain quantified boolean formulas;Aspvall;Inform. Process. Lett.,1979
2. T. Balyo, S. Gurskỳ, P. Kučera, V. Vlček, On hierarchies over the SLUR class, in: Twelfth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2012), 2012.
3. Polynomial-time inference of all valid implications for Horn and related formulae;Boros;Ann. Math. Artif. Intell.,1990
4. A complexity index for satisfiability problems;Boros;SIAM J. Comput.,1994
5. Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing;Čepek;Discrete Appl. Math.,2005