62 citations
Showing 2005Show all
3 papers · 1 filter
cs.DS2005★ 1 cited
Algorithms for Max Hamming Exact Satisfiability
Vilhelm Dahllof
We here study Max Hamming XSAT, ie, the problem of finding two XSAT models at maximum Hamming distance. By using a recent XSAT solver as an auxiliary function, an O(1.911^n) time a…
gr-qc2005★ 39 cited
Explicit multipole moments of stationary axisymmetric spacetimes
Thomas Backdahl, Magnus Herberthson
In this article we study multipole moments of axisymmetric stationary asymptotically flat spacetimes. We show how the tensorial recursion of Geroch and Hansen can be reduced to a r…
math.CO2005★ 1 cited
Perfect Skolem sets
Gustav Nordh
A Skolem sequence is a sequence a_1,a_2,...,a_2n (where a_i \in A = {1,...,n }), each a_i occurs exactly twice in the sequence and the two occurrences are exactly a_i positions apa…