Binary encoding of neighborhood
Norbert suggested an encoding where the neighbor relationship is encoded with binary clauses. This would be more efficient then the implications we use.
Norbert suggested an encoding where the neighbor relationship is encoded with binary clauses. This would be more efficient then the implications we use.