scientific article; zbMATH DE number 1149437

MaRDI QIDQ4386960zbMATH OpenFDO

Authors Roberto Sebastiani

Publication date 10 May 1998

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

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 1538056
• scientific article; zbMATH DE number 1149403
• Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings
• Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning

Cited in

(6)

• 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
• scientific article; zbMATH DE number 1538056 (Why is no real title available?)
• 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)\).

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386960)