arXiv 2003-07-07 EN Definition and Complexity of Some Basic Metareasoning Problems Conitzer, Vincent · Sandholm, Tuomas
arXiv 2003-07-05 EN 'Computing' as Information Compression by Multiple Alignment, Unification and Search Wolff, J Gerard
arXiv 2003-06-27 EN The Complexity of Boolean Constraint Isomorphism Böhler, Elmar · Hemaspaandra, Edith · Reith, Steffen · Vollmer, Heribert
arXiv 2003-06-25 EN Complexity of Cycle Length Modularity Problems in Graphs Hemaspaandra, Edith · Spakowski, Holger · Thakur, Mayur
arXiv 2003-06-07 EN A Transformational Decision Procedure for Non-Clausal Propositional Formulas Sakharov, Alexander
arXiv 2003-05-23 EN Fast n-point correlation functions and three-point lensing application Zhang, Lucy Liuxuan · Pen, Ue-Li
arXiv 2003-05-14 EN The Threshold for Random k-SAT is 2ᵏ ln2 - O(k) Achlioptas, Dimitris · Peres, Yuval
arXiv 2003-05-13 EN A Representation of Changes of Images and its Application for Developmental Biolology Kim, Gene · Kim, MyungHo
arXiv 2003-04-30 EN Hardness of approximating the weight enumerator of a binary linear code Vyalyi, M. N.
arXiv 2003-04-19 EN A New Multilayered PCP and the Hardness of Hypergraph Vertex Cover Dinur, Irit · Guruswami, Venkatesan · Khot, Subhash · Regev, Oded
arXiv 2003-04-12 EN A direct sum theorem in communication complexity via message compression Jain, Rahul · Radhakrishnan, Jaikumar · Sen, Pranab
arXiv 2003-04-08 EN Individual Communication Complexity Buhrman, Harry · Klauck, Hartmut · Vereshchagin, Nikolai · Vitanyi, Paul
arXiv 2003-03-06 EN A first approach for a possible cellular automaton model of fluids dynamics Argentini, Gianluca
arXiv 2003-02-26 EN Phase Diagram for the Constrained Integer Partitioning Problem Borgs, C. · Chayes, J. T. · Mertens, S. · Pittel, B.
