Generating Diverse Solutions in SAT

DOI10.1007/978-3-642-21581-0_23MaRDI QIDQ3007690zbMATH OpenOpenAlexFDO

Authors Alexander Nadel

Publication date 17 June 2011

Published in Theory and Applications of Satisfiability Testing - SAT 2011 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21581-0_23

Mathematics Subject Classification ID

Classical propositional logic (03B05) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 2010170
• Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden
• Generating hard satisfiability problems
• On generating all solutions of generalized satisfiability problems
• Solving the satisfiability problem by using randomized approach
• scientific article; zbMATH DE number 2165692
• scientific article; zbMATH DE number 1692953
• Compiling problem specifications into SAT

Cites work

• Generating Diverse Solutions in SAT
• scientific article; zbMATH DE number 1670796 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing

Cited in

(11)

• Diversity of solutions: an exploration through the lens of fixed-parameter tractability theory
• Generating Diverse Solutions in SAT
• Generating SAT instances with community structure
• scientific article; zbMATH DE number 2165692 (Why is no real title available?)
• Polarity and variable selection heuristics for SAT-based anytime MaxSAT
• Enriching Solutions to Combinatorial Problems via Solution Engineering
• Computing Diverse Optimal Stable Models
• SMT sampling via model-guided approximation
• Exact approaches for the diverse satisfiability problem
• Diversity of answers to conjunctive queries
• Algorithms for the diverse-k-SAT problem: the geometry of satisfying assignments

Describes a project that uses

Uses Software

• Chaff

This page was built for publication: Generating Diverse Solutions in SAT

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