most citedTransforming Constraint Programs to Input for Local Search

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing math.COShow all

1 paper · 1 filter

math.CO2024

Solving systems of equations on antichains for the computation of the ninth Dedekind Number

Patrick De Causmaecker, Lennart Van Hirtum

We study systems of equations on antichains, together with a way to count the number of solutions. We start with a simple example, generalise and show more applications. One of the…