Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques

DOI10.1007/S10601-007-9022-ZMaRDI QIDQ2385178zbMATH OpenOpenAlexFDO

Authors Lengning Liu, Mirosław Truszczyński

Publication date 11 October 2007

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-007-9022-z

zbMATH Keywords

stochastic local searchBoolean satisfiabilitypseudo-Boolean constraints

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in computer science (03B70)

Recommendations

• Search techniques for SAT-based Boolean optimization
• scientific article; zbMATH DE number 5139167
• scientific article; zbMATH DE number 5139168
• scientific article; zbMATH DE number 5139161
• Local-search techniques for propositional logic extended with cardinality constraints

Cites work

• scientific article; zbMATH DE number 5139165 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1149437 (Why is no real title available?)
• scientific article; zbMATH DE number 1882048 (Why is no real title available?)
• scientific article; zbMATH DE number 1414299 (Why is no real title available?)
• BerkMin: A fast and robust SAT-solver
• Local-search techniques for propositional logic extended with cardinality constraints
• Stochastic local search. Foundations and applications.

Cited in

(11)

• scientific article; zbMATH DE number 5139168 (Why is no real title available?)
• scientific article; zbMATH DE number 2084740 (Why is no real title available?)
• scientific article; zbMATH DE number 5139165 (Why is no real title available?)
• Tools for modeling and solving search problems
• Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers
• Incomplete dynamic backtracking for linear pseudo-Boolean problems
• scientific article; zbMATH DE number 5139167 (Why is no real title available?)
• Reformulation based MaxSat robustness
• scientific article; zbMATH DE number 956863 (Why is no real title available?)
• Local-search techniques for propositional logic extended with cardinality constraints
• Search techniques for SAT-based Boolean optimization

Describes a project that uses

Uses Software

• BerkMin
• Chaff
• WSAT(OIP)
• PBS
• SATO
• Walksat

This page was built for publication: Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques

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