4 datasets found

Groups: Logic

Filter Results

  • Bounded Idempotent Pocrims

    The dataset used in the paper is a collection of bounded idempotent pocrims, hoops, and coops, which are used to model the semantics of continuous logic.

  • Bounded Involutive Pocrims

    The dataset used in the paper is a collection of bounded involutive pocrims, hoops, and coops, which are used to model the semantics of continuous logic.

  • Continuous Logic

    The dataset used in the paper is a collection of pocrims, hoops, and coops, which are used to model the semantics of continuous logic.

  • Reducing SAT to Max2XOR

    Representing some problems with XOR clauses (parity constraints) can allow to apply more eļ¬ƒcient reasoning techniques.
You can also access this registry using the API (see API Docs).