Class RefineUnequalSatEncoding

  • All Implemented Interfaces:
    SatEncoding

    public class RefineUnequalSatEncoding
    extends java.lang.Object
    implements SatEncoding
    Author:
    Mathias Hofer