scientific article; zbMATH DE number 1341458

MaRDI QIDQ4262997zbMATH OpenFDO

Authors Ramon Bejar, Felip Manya

Publication date 22 September 1999

zbMATH Keywords

regular SATRegular-GSAT

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Classical propositional logic (03B05) Many-valued logic (03B50)

Recommendations

• Local search algorithms for SAT: an empirical evaluation
• Local search algorithms for SAT: an empirical evaluation
• SAT local search algorithms: Worst-case study
• SAT local search algorithms: Worst-case study
• Local search algorithms for SAT: Worst-case analysis

Cited in

(4)

• Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
• Regular-SAT: A many-valued approach to solving combinatorial problems
• scientific article; zbMATH DE number 1405442 (Why is no real title available?)
• Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings

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 Q4262997)