Sciweavers

IGPL
2000

Generating hard tautologies using predicate logic and the symmetric group

13 years 11 months ago
Generating hard tautologies using predicate logic and the symmetric group
Søren Riis, Meera Sitharam
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where IGPL
Authors Søren Riis, Meera Sitharam
Comments (0)