Cs-Cc
The model checking problem for intuitionistic propositional logic with one variable is AC1-complete
Parimutuel Betting on Permutations
A Parameterized Perspective on $P_2$-Packings
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
The Tsallis entropy and the Shannon entropy of a universal probability
Rollout Sampling Approximate Policy Iteration
Model Checking One-clock Priced Timed Automata
On Expanded Cyclic Codes
Shallow Models for Non-Iterative Modal Logics
Lattice Problems, Gauge Functions and Parameterized Algorithms
Exhaustive enumeration unveils clustering and freezing in random 3-SAT
Towards a stable definition of Kolmogorov-Chaitin complexity
On Computing the Shadows and Slices of Polytopes
Universal Quantum Circuits
Adversary lower bounds for nonadaptive quantum algorithms
Wadge Degrees of Infinitary Rational Relations
P is a proper subset of NP
A Critique of a Polynomial-time SAT Solver Devised by Sergey Gubin
Generalized Modal Satisfiability
Nonlinear Optimization over a Weighted Independence System
A review of the Statistical Mechanics approach to Random Optimization Problems
To Broad-Match or Not to Broad-Match : An Auctioneers Dilemma ?
