New lower bounds for the snake-in-the-box problem: Using evolutionary techniques to hunt for snakes and coils

&
Proceedings of the Florida Ai Research Society Conference (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sharpened lower bounds for cut elimination.Samuel R. Buss - 2012 - Journal of Symbolic Logic 77 (2):656-668.
A stag hunt with signalling and mutual beliefs.Jelle de Boer - 2013 - Biology and Philosophy 28 (4):559-576.
On the bounded version of Hilbert's tenth problem.Chris Pollett - 2003 - Archive for Mathematical Logic 42 (5):469-488.
Proof complexity of propositional default logic.Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas & Heribert Vollmer - 2011 - Archive for Mathematical Logic 50 (7-8):727-742.
Lower Bounds for resolution and cutting plane proofs and monotone computations.Pavel Pudlák - 1997 - Journal of Symbolic Logic 62 (3):981-998.
On the Treatment of Incomparability in Ordering Semantics and Premise Semantics.Eric Swanson - 2011 - Journal of Philosophical Logic 40 (6):693-713.
Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.
Qualitative and quantitative explanation of the forms of heat sensitive organs in snakes.Tjard Cock Buning - 1985 - Acta Biotheoretica 34 (2-4).
2-Exp Time lower bounds for propositional dynamic logics with intersection.Martin Lange & Carsten Lutz - 2005 - Journal of Symbolic Logic 70 (4):1072-1086.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
Bounds on the competence of a homogeneous jury.Alexander Zaigraev & Serguei Kaniovski - 2012 - Theory and Decision 72 (1):89-112.

Analytics

Added to PP
2014-03-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references