Search Sciweavers | Sciweavers

3172 search results - page 24 / 635

» On the Random-Self-Reducibility of Complete Sets

139

click to vote

IPL
2006

83views more IPL 2006»

The Pair Completion algorithm for the Homogeneous Set Sandwich Problem

15 years 6 months ago

Download www.cos.ufrj.br

A homogeneous set is a non-trivial module of a graph, i.e. a nonempty, non-unitary, proper vertex subset such that all its elements present the same outer neighborhood. Given two ...

Claudson F. Bornstein, Celina M. Herrera de Figuei...

claim paper

Read More »

149

click to vote

CSR
2009
Springer

131views Theoretical Computer Science» more CSR 2009»

Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes

15 years 9 months ago

Download www.thi.uni-hannover.de

In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...

Olaf Beyersdorff, Zenon Sadowski

claim paper

Read More »

130

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 10 months ago