38 search results - page 1 / 8 » Reducing signed propositional formulas |
SOCO
1998
Springer
13 years 4 months ago
1998
Springer
ISMVL
2008
IEEE
13 years 11 months ago
2008
IEEE
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
EPIA
2005
Springer
13 years 10 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
JSYML
2006
13 years 4 months ago
2006
f spaces of signs (abstract real spectra) developed in [1] [18]. We consider pp (positive primitive) formulas in the language of reduced special groups as in [20]. We denote the pp...