Generating Diverse Solutions in SAT

DOI10.1007/978-3-642-21581-0_23zbMath1330.68275OpenAlexW192097321MaRDI QIDQ3007690

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

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) Classical propositional logic (03B05)

Related Items (6)

Diversity of solutions: an exploration through the lens of fixed-parameter tractability theory ⋮ SMT sampling via model-guided approximation ⋮ Computing Diverse Optimal Stable Models ⋮ Enriching Solutions to Combinatorial Problems via Solution Engineering ⋮ Generating Diverse Solutions in SAT ⋮ Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

Uses Software

• Chaff

Cites Work

• Unnamed Item
• Unnamed Item
• Generating Diverse Solutions in SAT
• Theory and Applications of Satisfiability Testing

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