- Games for synthesis of controllers with partial observation A. Arnold A. Vincent I. Walukiewicz Tue 03 April 2018
- Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas Michael Alekhnovich Edward A. Hirsch Dmitry Itsykson Tue 27 February 2018
- Linear-time algorithms for testing the satisfiability of propositional horn formulae William F. Dowling Jean H. Gallier Mon 08 April 2013
- Intuitionistic propositional logic is polynomial-space complete Richard Statman Fri 05 April 2013
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
