Constrained Pseudo-Propositional Logic
Sign Up to like & getrecommendations! 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