Skip to content
  • Log in
  • Register
TIB
  • All Imported Services
  • Organizations
  • Groups
  • About
  • Demo
  • FedORKG
  1. Home
  2. Groups
  3. Logic
logic

Logic

Followers
0
Datasets
1

Organizations

  • No Organization - 1

Groups

  • Logic - 1
  • Optimization - 1
  • Satisfiability - 1

Tags

  • Max2XOR - 1
  • SAT - 1
  • XOR constraints - 1

Formats

  • JSON - 1

Licenses

There are no Licenses that match this search

close
  • Datasets
  • Activity Stream
  • About

1 dataset found

Tags: SAT

Filter Results

  • Reducing SAT to Max2XOR

    Representing some problems with XOR clauses (parity constraints) can allow to apply more eļ¬ƒcient reasoning techniques.
    • Dataset
    • JSON
Before browse our site, please accept our cookies policy
  • About LDM
  • CKAN API
  • CKAN Association
  • Open Data
Legal Notices
  • Terms of Use of the TIB
  • Special conditions TIB LDM
  • Data Privacy Statement
  • Imprint
  • Accessibility Statement

Powered by CKAN