A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
IEEE Transactions on Knowledge and Data Engineering
Computing Equilibrium Models Using Signed Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
Automated deduction for many-valued logics
Handbook of automated reasoning
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite Satisfiability in Infinite-Valued Łukasiewicz Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Mapping problems with finite-domain variables to problems with boolean variables
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Adapting Classical Inference Techniques To Multiple-Valued Logics Using Signed Formulas
Fundamenta Informaticae
An algorithm for random signed 3-SAT with intervals
Theoretical Computer Science
Hi-index | 0.00 |