Reasoning and inference for (maximum) satisfiability: new insights

DOI10.1007/S10601-023-09365-0MaRDI QIDQ6154182zbMATH OpenOpenAlexFDO

Authors Mohamed Sami Cherif

Publication date 14 February 2024

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-023-09365-0

zbMATH Keywords

inferenceartificial intelligencesatisfiabilityreasoningmaximum satisfiability

Mathematics Subject Classification ID

Computer science (68-XX) Operations research, mathematical programming (90-XX)

Recommendations

• Stochastic Boolean satisfiability
• Reasoning with propositional logic: from SAT solvers to knowledge compilation
• Stochastic Boolean satisfiability
• Some interesting research directions in satisfiability
• Satisfiability modulo theories: an appetizer

This page was built for publication: Reasoning and inference for (maximum) satisfiability: new insights

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