Benchmarking Digital-logic Hardware Implementations of Linear Constraint Satisfaction Algorithms - 42Papers