1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DS2021★ 1 cited
A Note on the Performance of Algorithms for Solving Linear Diophantine Equations in the Naturals
Valeriu Motroi, Stefan Ciobaca
We implement four algorithms for solving linear Diophantine equations in the naturals: a lexicographic enumeration algorithm, a completion procedure, a graph-based algorithm, and t…
cs.LO2020
A Typo in the Paterson-Wegman-de Champeaux algorithm
Valeriu Motroi, Stefan Ciobaca
We investigate the Paterson-Wegman-de Champeaux linear-time unification algorithm. We show that there is a small mistake in the de Champeaux presentation of the algorithm and we pr…