scientific article; zbMATH DE number 1149437

zbMath0900.68234arXivcs/9406102MaRDI QIDQ4386960

Roberto Sebastiani

Publication date: 10 May 1998

Full work available at URL: https://arxiv.org/abs/cs/9406102

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Related Items

Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques, Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings, Formal verification based on Boolean expression diagrams, Building decision procedures for modal logics from propositional decision procedures — The case study of modal K, Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).