Implementation of a Tableau-based Satisfiability Checker for HS3.

Emilio Muñoz-Velasco Guido Sciavicco Ionel Eduard Stan

Published in: ICTCS/CILC (2017)

Keyphrases

real time
satisfiability problem
implementation details
data sets
artificial intelligence
information systems
efficient implementation
hardware implementation