Satisfiability and computing van der Waerden numbers.
Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław
The Electronic Journal of Combinatorics [electronic only] (2004)
- Volume: 11, Issue: 1, page Research paper R41, 15 p.-Research paper R41, 15 p.
- ISSN: 1077-8926
Access Full Article
top
How to cite
topDransfield, Michael R., et al. "Satisfiability and computing van der Waerden numbers.." The Electronic Journal of Combinatorics [electronic only] 11.1 (2004): Research paper R41, 15 p.-Research paper R41, 15 p.. <http://eudml.org/doc/124096>.
@article{Dransfield2004,
author = {Dransfield, Michael R., Liu, Lengning, Marek, Victor W., Truszczyński, Mirosław},
journal = {The Electronic Journal of Combinatorics [electronic only]},
keywords = {Ramsey theory; computing van der Waerden numbers; propositional satisfiability},
language = {eng},
number = {1},
pages = {Research paper R41, 15 p.-Research paper R41, 15 p.},
publisher = {Prof. André Kündgen, Deptartment of Mathematics, California State University San Marcos, San Marcos},
title = {Satisfiability and computing van der Waerden numbers.},
url = {http://eudml.org/doc/124096},
volume = {11},
year = {2004},
}
TY - JOUR
AU - Dransfield, Michael R.
AU - Liu, Lengning
AU - Marek, Victor W.
AU - Truszczyński, Mirosław
TI - Satisfiability and computing van der Waerden numbers.
JO - The Electronic Journal of Combinatorics [electronic only]
PY - 2004
PB - Prof. André Kündgen, Deptartment of Mathematics, California State University San Marcos, San Marcos
VL - 11
IS - 1
SP - Research paper R41, 15 p.
EP - Research paper R41, 15 p.
LA - eng
KW - Ramsey theory; computing van der Waerden numbers; propositional satisfiability
UR - http://eudml.org/doc/124096
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.