26 citations
4 papers
On the degree of regularity of generalized van der Waerden triples
Nikos Frantzikinakis, Bruce Landman, Aaron Robertson
Let be integers. A triple of the form , where are positive integers is called an {\em (a,b)-triple}. The {\em degree of regularity} of the f…
Some New Exact van der Waerden Numbers
Bruce Landman, Aaron Robertson, Clay Culver
For positive integers the van der Waerden number is the least positive integer such that whenever is partition…
Learning in a Compiler for MINSAT Algorithms
Anja Remshagen, Klaus Truemper
This paper describes learning in a compiler for algorithms solving classes of the logic minimization problem MINSAT, where the underlying propositional formula is in conjunctive no…
On the graph-density of random 0/1-polytopes
Volker Kaibel, Anja Remshagen
Let X_{d,n} be an n-element subset of {0,1}^d chosen uniformly at random, and denote by P_{d,n} := conv X_{d,n} its convex hull. Let D_{d,n} be the density of the graph of P_{d,n}…