5 citations · 24 across the 11 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.AI2013
Proteus: A Hierarchical Portfolio of Solvers and Transformations
Barry Hurley, Lars Kotthoff, Yuri Malitsky +1
In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT…
cs.IT2013
Systems of MDS codes from units and idempotents
Barry Hurley, Ted Hurley
Algebraic systems are constructed from which series of maximum distance separable (mds) codes are derived. The methods use unit and idempotent schemes.