Login / Signup
Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper).
Bernard Boigelot
Pascal Fontaine
Baptiste Vergain
Published in:
SC-Square@SIAM AG (2021)
Keyphrases
</>
symmetry breaking
satisfiability problem
pairwise
propositional logic
data sets
computational complexity
decision procedures
terminological reasoning
database
quantifier free
arithmetic operations
convex functions
phase transition
inductive logic programming
user defined
knowledge representation
neural network