Publication:4386960
From MaRDI portal
zbMath0900.68234arXivcs/9406102MaRDI QIDQ4386960
Publication date: 10 May 1998
Full work available at URL: https://arxiv.org/abs/cs/9406102
68W10: Parallel algorithms in computer science
Related Items
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings, Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\)., Formal verification based on Boolean expression diagrams, Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques