Sign Up to like & get
recommendations!
1
Published in 2020 at "Logica Universalis"
DOI: 10.1007/s11787-020-00266-x
Abstract: Propositional logic, with the aid of SAT solvers, has become capable of solving a range of important and complicated problems. Expanding this range, to contain additional varieties of problems, is subject to the complexity resulting…
read more here.
Keywords:
propositional logic;
constrained pseudo;
logic;
pseudo propositional ... See more keywords