scientific article; zbMATH DE number 1149437

zbMATH Open0900.68234arXivcs/9406102MaRDI QIDQ4386960FDOQ4386960

Authors: Roberto Sebastiani 

Publication date: 10 May 1998

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

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
• Title not available (Why is that?)
• 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)