- ømega-Automata Thomas Wilke Thu 01 March 2018
- PTL-separability and closures for WQOs on words Georg Zetzsche Tue 27 February 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
- The SAT Phase Transition Ian P. Gent Toby Walsh Tue 27 February 2018
- Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Haixia Jia Cristopher Moore Doug Strain Tue 27 February 2018
- Hiding Satisfying Assignments: Two Are Better Than One Dimitris Achlioptas Haixia Jia Cristopher Moore Tue 27 February 2018
- Quick introduction into SAT/SMT solvers and symbolic execution Dennis Yurichev Mon 26 February 2018
- CNFgen: A Generator of Crafted Benchmarks Massimo Lauria Jan Elffers Jakob Nordstrøm Marc Vinyals Mon 26 February 2018
- Unboundedness problems for languages of vector addition systems Wojciech Czerwiński Piotr Hofman Georg Zetzsche Sat 24 February 2018
- On the Hausdorff Measure of ømega-Power Languages Ludwig Staiger Sat 24 February 2018
- N by N Checkers is Exptime Complete J. M. Robson Sat 24 February 2018
- Computing a perfect strategy for n n chess requires time exponential in n Aviezri S Fraenkel David Lichtenstein Sat 24 February 2018
- Complexity Theory, Game Theory, and Economics Tim Roughgarden Fri 23 February 2018
- Width of non-deterministic automata Denis Kuperberg Anirban Majumdar Fri 23 February 2018
- The Game of Hex and the Brouwer Fixed-Point Theorem David Gale Thu 22 February 2018
- Hex: Everything You Always Wanted to Know About Hex But Were Afraid to Ask Thomas Maarup Thu 22 February 2018
- The Complexity of the Diagonal Problem for Recursion Schemes Pawel Parys Sat 17 February 2018
- The complexity of linear problems in fields Volker Weispfenning Thu 15 February 2018
- Cyber-Physical Modeling of Implantable Cardiac Medical Devices Z. Jiang M. Pajic R. Mangharam Wed 07 February 2018
- Unambiguous conjunctive grammars over a one-symbol alphabet Artur Jeż Alexander Okhotin Tue 30 January 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
