output
20022026
most citedTypical random 3-SAT formulae and the satisfiability threshold

146 citations

Showing 2012Show all

5 papers · 1 filter

cs.AI2012★ 16 cited

An Axiomatic Approach to Robustness in Search Problems with Multiple Scenarios

Patrice Perny, Olivier Spanjaard

This paper is devoted to the search of robust solutions in state space graphs when costs depend on scenarios. We first present axiomatic requirements for preference compatibility w…

cs.CC2012★ 6 cited

Subexponential and FPT-time Inapproximability of Independent Set and Related Problems

Bruno Escoffier, EunJung Kim, Vangelis Th. Paschos

Fixed-parameter algorithms, approximation algorithms and moderately exponential algorithms are three major approaches to algorithms design. While each of them being very active in…

quant-ph2012

From interpretation of the three classical mechanics actions to the wave function in quantum mechanics

Michel Gondran, Alexandre Gondran

First, we show that there exists in classical mechanics three actions corresponding to different boundary conditions: two well-known actions, the Euler-Lagrange classical action S_…

cs.CC2012★ 5 cited

Some results on more flexible versions of Graph Motif

Romeo Rizzi, Florian Sikora

The problems studied in this paper originate from Graph Motif, a problem introduced in 2006 in the context of biological networks. Informally speaking, it consists in deciding if a…

cs.CC2012

Scrabble is PSPACE-Complete

Michael Lampis, Valia Mitsou, Karolina Sołtys

In this paper we study the computational complexity of the game of Scrabble. We prove the PSPACE-completeness of a derandomized model of the game, answering an open question of Eri…