×

Found 165 Documents (Results 1–100)

Exact lower bounds for monochromatic Schur triples and generalizations. (English) Zbl 07293167

Pillwein, Veronika (ed.) et al., Algorithmic combinatorics: enumerative combinatorics, special functions and computer algebra. Proceedings of the workshop on combinatorics, special functions and computer algebra (Paule60), Research Institute of Symbolic Computation (RISC), Hagenberg, Austria, May 17–18, 2018. In honour of Peter Paule on his 60th birthday. Cham: Springer. Texts Monogr. Symb. Comput., 223-248 (2020).
MSC:  68W30

Exact value of 3 color weak Rado number. (English) Zbl 1356.05014

de Mier, Anna (ed.) et al., Discrete mathematical days. Extended abstracts of the 10th “Jornadas de matemática discreta y algorítmica” (JMDA), Barcelona, Spain, July 6–8, 2016. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 54, 241-245 (2016).

Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. (English) Zbl 1403.68226

Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40969-6/pbk; 978-3-319-40970-2/ebook). Lecture Notes in Computer Science 9710, 228-245 (2016).
MSC:  68T15 05D10 68T20

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software