Publication:4262997
From MaRDI portal
zbMath0935.68094MaRDI QIDQ4262997
Publication date: 22 September 1999
03B05: Classical propositional logic
03B50: Many-valued logic
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations
Related Items
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings, Exploiting multivalued knowledge in variable selection heuristics for SAT solvers, Regular-SAT: A many-valued approach to solving combinatorial problems