comp.theory

Thread Index

Verifying complexity empirically
- From: kestrel
contradiction with expanders and sat?
- From: perfectanimezephyr
CFP/Bursary Awards- eCheminfo Community of Practice InterAction Meeting/India 08
- From: Robby
home shop 18 - computer peripherals
- From: patriberry
bispanning graphs
- From: Michael Schnupp
New compression theory announcement soon
- From: Einstein
Re: question on relativization of an algorithm
- From: cplxphil
Re: question on relativization of an algorithm
- From: PhilipJWhite
Re: Ben Pfaff's Paper Comparing AVL, Red-Black, And Other Trees.
- From: Richard Harter
Re: Ben Pfaff's Paper Comparing AVL, Red-Black, And Other Trees.
- From: Lionel Delafosse
question on relativization of an algorithm
- From: cplxphil
Re: Espionage - Undetectable with new cryptology idea
- From: cplxphil
Espionage - Undetectable with new cryptology idea
- From: spaceman
extra income
- From: ksvenkat
Re: Ben Pfaff's Paper Comparing AVL, Red-Black, And Other Trees.
- From: Richard Harter
Re: Ben Pfaff's Paper Comparing AVL, Red-Black, And Other Trees.
- From: Le Chaud Lapin
Re: Cardinality of P
- From: tchow
Re: Cardinality of P
- From: Kalle07
Re: Integer Factorization with SAT
- From: Thorsten Kiefer
Re: Integer Factorization with SAT
- From: Thorsten Kiefer
Cardinality of P
- From: the.theorist
Re: Decidability of P = NP
- From: cplxphil
Re: Decidability of P = NP
- From: tchow
Decidability of P = NP
- From: cplxphil
Re: This year's Godel Prize
- From: cplxphil
The Best Online Money Maker Ever
- From: money_maker
Re: Integer Factorization with SAT
- From: Torben Ægidius Mogensen
Re: Integer Factorization with SAT
- From: novice
Fake Network Traffic Programs
- From: novice
Online Iterated Prisoner's Dilemma
- From: ipd . developer
Re: This year's Godel Prize
- From: tchow
Re: B tree
- From: maverickcool@xxxxxxxxx
Re: B tree
- From: Tegiri Nenashi
This year's Godel Prize
- From: cplxphil
B tree
- From: maverickcool@xxxxxxxxx
Re: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT
- From: deepakc
Re: Graph representation compress
- From: Le Chaud Lapin
Re: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT
- From: deepakc
Graph representation compress
- From: Александр
Re: Can EXPTIME and NP be separated via diagonalization?
- From: cplxphil
Re: Can EXPTIME and NP be separated via diagonalization?
- From: tchow
Re: Integer Factorization with SAT
- From: cplxphil
Re: Can EXPTIME and NP be separated via diagonalization?
- From: cplxphil
Re: Can EXPTIME and NP be separated via diagonalization?
- From: tchow
Re: How to do this?
- From: Charlie-Boo
Re: Can EXPTIME and NP be separated via diagonalization?
- From: Zhu Guohun
Re: Can EXPTIME and NP be separated via diagonalization?
- From: Mitch
Re: Can EXPTIME and NP be separated via diagonalization?
- From: cplxphil
Re: How to do this?
- From: Mark T.B. Carroll
How to do this?
- From: maasultan
Re: Can EXPTIME and NP be separated via diagonalization?
- From: tchow
Re: Integer Factorization with SAT
- From: jacko
Re: Can EXPTIME and NP be separated via diagonalization?
- From: cplxphil
Re: Can EXPTIME and NP be separated via diagonalization?
- From: tchow
Re: Integer Factorization with SAT
- From: cplxphil
Re: Can EXPTIME and NP be separated via diagonalization?
- From: cplxphil
Re: Integer Factorization with SAT
- From: jacko
Re: Integer Factorization with SAT
- From: jacko
Re: Can EXPTIME and NP be separated via diagonalization?
- From: tchow
Re: obvious ("dumb") question about oracles and P vs. NP
- From: tchow
Can EXPTIME and NP be separated via diagonalization?
- From: cplxphil
Java based sat solver
- From: Thorsten Kiefer
Human computer dialog foundations
- From: jacko
Re: Integer Factorization with SAT
- From: cplxphil
Re: Integer Factorization with SAT
- From: Thorsten Kiefer