We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and …
IC Oliveira - arXiv preprint arXiv:1309.0249, 2013 - arxiv.org
Different techniques have been used to prove several transference theorems of the form" nontrivial algorithms for a circuit class C yield circuit lower bounds against C". In this survey …
R Santhanam - Bulletin of EATCS, 2013 - bulletin.eatcs.org
I discuss recent progress in developing and exploiting connections between SAT algorithms and circuit lower bounds. The centrepiece of the article is Williams' proof that NEXP⊈ ACC0 …
T Watson - Proceedings of the 4th conference on Innovations in …, 2013 - dl.acm.org
We show that" a little more time gives a lot more power to sampling algorithms." We prove that for every constant k≥ 2, every polynomial time bound t, and every polynomially small ε …
The past decade has witnessed the development of many important declarative languages for knowledge representation and reasoning such as answer set programming (ASP) …
S Schneider - arXiv preprint arXiv:1306.4029, 2013 - arxiv.org
In recent years, finding new satisfiability algorithms for various circuit classes has been a very active line of research. Despite considerable progress, we are still far away from a …
TA Gorazd, J Krzaczkowski - J. Univers. Comput. Sci., 2013 - uni-trier.de
Term satisfiability problem for two-element algebras is in QL or is NQL-complete Page 1 Term satisfiability problem for two-element algebras is in QL or is NQL-complete Tomasz A. Gorazd …
There is arguably no other theoretical tool in the arsenal of the algorithm developer that is as powerful as complexity, in its ability to compare the theoretical performance of algorithms …
S Žák, J Šíma - Language and Automata Theory and Applications: 7th …, 2013 - Springer
We introduce a new so-called distance complexity measure for Turing machine computations which is sensitive to long-distance transfers of information on the worktape. An …