default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Colloquium on Computational Complexity, 2003
Volume TR03, 2003
- Vince Grolmusz:
Near Quadratic Matrix Multiplication Modulo Composites. Article TR03-001 - Stefan Szeider:
Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable. Article TR03-002 - Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi:
DPLL with Caching: A new algorithm for #SAT and Bayesian Inference. Article TR03-003 - Eli Ben-Sasson, Prahladh Harsha:
Lower Bounds for Bounded-Depth Frege Proofs via Buss-Pudlack Games. Article TR03-004 - Scott Aaronson:
Quantum Certificate Complexity. Article TR03-005 - Eli Ben-Sasson, Prahladh Harsha, Sofya Raskhodnikova:
3CNF Properties are Hard to Test. Article TR03-006 - Olivier Dubois, Yacine Boufkhad, Jacques Mandler:
Typical random 3-SAT formulae and the satisfiability threshold. Article TR03-007 - Piotr Berman, Marek Karpinski:
Improved Approximation Lower Bounds on Small Occurrence Optimization. Article TR03-008 - Markus Bläser, Andreas Jakoby, Maciej Liskiewicz, Bodo Manthey:
Private Computation - k-connected versus 1-connected Networks. Article TR03-009 - Sven Baumer, Rainer Schuler:
Improving a probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs. Article TR03-010 - Christian Glaßer, Alan L. Selman, Samik Sengupta, Liyu Zhang:
Disjoint NP-Pairs. Article TR03-011 - Edward A. Hirsch, Arist Kojevnikov:
Several notes on the power of Gomory-Chvatal cuts. Article TR03-012 - Luca Trevisan:
An epsilon-Biased Generator in NC0. Article TR03-013 - Avrim Blum, Ke Yang:
On Statistical Query Sampling and NMR Quantum Computing. Article TR03-014 - Shafi Goldwasser, Yael Tauman:
On the (In)security of the Fiat-Shamir Paradigm. Article TR03-015 - Dimitrios Koukopoulos, Marios Mavronicolas, Paul G. Spirakis:
FIFO is Unstable at Arbitrarily Low Rates. Article TR03-016 - Peter Bro Miltersen, Jaikumar Radhakrishnan, Ingo Wegener:
On Converting CNF to DNF. Article TR03-017 - Matthias Galota, Heribert Vollmer:
Functions Computable in Polynomial Space. Article TR03-018 - Eli Ben-Sasson, Oded Goldreich, Madhu Sudan:
Bounds on 2-Query Codeword Testing. Article TR03-019 - Elad Hazan, Shmuel Safra
, Oded Schwartz:
On the Hardness of Approximating k-Dimensional Matching. Article TR03-020 - Mikhail N. Vyalyi:
QMA=PP implies that PP contains PH. Article TR03-021 - Piotr Berman, Marek Karpinski, Alex D. Scott:
Approximation Hardness and Satisfiability of Bounded Occurrence Instances of SAT. Article TR03-022 - Anna Palbom:
On Spanning Cacti and Asymmetric TSP. Article TR03-023 - Till Tantau:
Weak Cardinality Theorems for First-Order Logic. Article TR03-024 - Kristoffer Arnsfelt Hansen:
Constant width planar computation characterizes ACC0. Article TR03-025 - Janka Chlebíková, Miroslav Chlebík:
Inapproximability results for bounded variants of optimization problems. Article TR03-026 - Christian Glaßer, Alan L. Selman, Samik Sengupta:
Reductions between Disjoint NP-Pairs. Article TR03-027 - Olivier Powell:
PSPACE contains almost complete problems. Article TR03-028 - Philippe Moser:
BPP has effective dimension at most 1/2 unless BPP=EXP. Article TR03-029 - Amin Coja-Oghlan, Andreas Goerdt, André Lanka, Frank Schädlich:
Certifying Unsatisfiability of Random 2k-SAT Formulas using Approximation Techniques. Article TR03-030 - Birgit Schelm:
Average-Case Complexity Theory of Approximation Problems. Article TR03-031 - Andreas Björklund, Thore Husfeldt, Sanjeev Khanna:
Approximating Longest Directed Path. Article TR03-032 - Meir Feder, Dana Ron, Ami Tavory:
Bounds on Linear Codes for Network Multicast. Article TR03-033 - Arnold Beckmann:
Height restricted constant depth LK. Article TR03-034 - Eran Halperin, Guy Kortsarz, Robert Krauthgamer:
Tight lower bounds for the asymmetric k-center problem. Article TR03-035 - Bruce E. Litow:
Polynomial equation elimination via Tarski Algebra. Article TR03-036 - Ziv Bar-Yossef:
Sampling Lower Bounds via Information Theory. Article TR03-037 - Julia Chuzhoy, Sudipto Guha, Sanjeev Khanna, Joseph Naor:
Asymmetric k-center is log*n-hard to Approximate. Article TR03-038 - Judy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán:
Theory Revision with Queries: Horn, Read-once, and Parity Formulas. Article TR03-039 - Philippe Moser:
RP is Small in SUBEXP else ZPP equals PSPACE and NP equals EXP. Article TR03-040 - Albert Atserias, Maria Luisa Bonet, Jordi Levy:
On Chvatal Rank and Cutting Planes Proofs. Article TR03-041 - Luca Trevisan:
List Decoding Using the XOR Lemma. Article TR03-042 - Elchanan Mossel, Amir Shpilka, Luca Trevisan:
On epsilon-Biased Generators in NC0. Article TR03-043 - Juan Luis Esteban, Jacobo Torán:
A Combinatorial Characterization of Treelike Resolution Space. Article TR03-044 - Oded Goldreich, Shafi Goldwasser, Asaf Nussboim:
On the Implementation of Huge Random Objects. Article TR03-045 - Philippe Moser:
Locally Computed Baire's Categories on Small Complexity Classes. Article TR03-046 - Nayantara Bhatnagar, Parikshit Gopalan, Richard J. Lipton:
Symmetric Polynomials over Zm and Simultaneous Communication Protocols. Article TR03-047 - Stefan Droste, Thomas Jansen, Ingo Wegener:
Upper and Lower Bounds for Randomized Search Heuristics in Black-Box Optimization. Article TR03-048 - Piotr Berman, Marek Karpinski, Alex D. Scott:
Approximation Hardness of Short Symmetric Instances of MAX-3SAT. Article TR03-049 - Daniel Král:
Locally satisfiable formulas. Article TR03-050 - Tsuyoshi Morioka:
The Relative Complexity of Local Search Heuristics and the Iteration Principle. Article TR03-051 - Stanislav Busygin, Dmitrii V. Pasechnik:
On ~chi(G)-alpha(G)>0 gap recognition and alpha(G)-upper bounds. Article TR03-052 - Kazuo Iwama, Suguru Tamaki:
Improved Upper Bounds for 3-SAT. Article TR03-053 - Daniel Rolf:
3-SAT in RTIME(O(1.32793n)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses. Article TR03-054 - Jan Krajícek:
Implicit proofs. Article TR03-055 - Piotr Berman, Marek Karpinski:
Approximability of Hypergraph Minimum Bisection. Article TR03-056 - Scott Aaronson:
Lower Bounds for Local Search by Quantum Arguments. Article TR03-057 - Vince Grolmusz:
Defying Dimensions Modulo 6. Article TR03-058 - Harumichi Nishimura, Tomoyuki Yamakami:
Polynomial time quantum computation with advice. Article TR03-059 - Danny Harnik, Moni Naor, Omer Reingold, Alon Rosen:
Completeness in Two-Party Secure Computation - A Computational View. Article TR03-060 - Jan Kára, Daniel Král:
Free Binary Decision Diagrams for Computation of EARn. Article TR03-061 - Andrei A. Krokhin, Peter Jonsson:
Recognizing Frozen Variables in Constraint Satisfaction Problems. Article TR03-062 - John M. Hitchcock:
The Size of SPP. Article TR03-063 - Vikraman Arvind, Piyush P. Kurur:
Upper Bounds on the Complexity of some Galois Theory Problems. Article TR03-064 - Hoeteck Wee:
Compressibility Lower Bounds in Oracle Settings. Article TR03-065 - Daniele Micciancio:
Almost perfect lattices, the covering radius problem, and applications to Ajtai's connection factor. Article TR03-066 - Ran Raz:
Multi-Linear Formulas for Permanent and Determinant are of Super-Polynomial Size. Article TR03-067 - Matthias Homeister:
Lower Bounds for the Sum of Graph--driven Read--Once Parity Branching Programs. Article TR03-068 - Elmar Böhler, Christian Glaßer, Daniel Meister:
Small Bounded-Error Computations and Completeness. Article TR03-069 - Amit Chakrabarti, Oded Regev:
An Optimal Randomised Cell Probe Lower Bound for Approximate Nearest Neighbour Searching. Article TR03-070 - Markus Bläser, Andreas Jakoby, Maciej Liskiewicz, Bodo Manthey:
Privacy in Non-Private Environments. Article TR03-071 - Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert:
Algorithms for SAT based on search in Hamming balls. Article TR03-072 - Amin Coja-Oghlan:
The Lovasz number of random graph. Article TR03-073 - Vince Grolmusz:
Sixtors and Mod 6 Computations. Article TR03-074 - Agostino Capponi:
A tutorial on the Deterministic two-party Communication Complexity. Article TR03-075 - Michael Langberg:
Testing the independence number of hypergraphs. Article TR03-076 - Till Tantau:
Logspace Optimisation Problems and their Approximation Properties. Article TR03-077 - Fan R. K. Chung, Ronald L. Graham, Jia Mao, Andrew Chi-Chih Yao:
Finding Favorites. Article TR03-078 - Scott Aaronson:
Multilinear Formulas and Skepticism of Quantum Computing. Article TR03-079 - Venkatesan Guruswami:
Better Extractors for Better Codes? Article TR03-080 - Valentin E. Brimkov, Bruno Codenotti, Valentino Crespi, Reneta P. Barneva, Mauro Leoncini:
Computation of the Lovász Theta Function for Circulant Graphs. Article TR03-081 - Andris Ambainis, Ke Yang:
Towards the Classical Communication Complexity of Entanglement Distillation Protocols with Incomplete Information. Article TR03-082 - Jan Arpe, Andreas Jakoby, Maciej Liskiewicz:
One-Way Communication Complexity of Symmetric Boolean Functions. Article TR03-083 - Josh Buresh-Oppenheim, Tsuyoshi Morioka:
Relativized NP Search Problems and Propositional Proof Systems. Article TR03-084 - Ke Yang:
On the (Im)possibility of Non-interactive Correlation Distillation. Article TR03-085 - Amos Beimel, Tal Malkin:
A Quantitative Approach to Reductions in Secure Computation. Article TR03-086 - Richard Beigel, Lance Fortnow, William I. Gasarch:
A Nearly Tight Bound for Private Information Retrieval Protocols. Article TR03-087
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-18 22:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
