Dynamic symmetry-breaking for Boolean satisfiability
type: Item
instance of: scholarly article
title: Dynamic symmetry-breaking for Boolean satisfiability
zbMATH Open document ID: 1205.68366
author: Fadi A. Aloul
author: Arathi Ramani
author: Igor L. Markov
author: Karem A. Sakallah
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2010-06-16T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 90C05
zbMATH DE Number: 5721643
zbMATH Keywords: dynamic symmetry breaking
zbMATH Keywords: Boolean satisfiability
zbMATH Keywords: search
zbMATH Keywords: optimization
zbMATH Keywords: formal verification
describes a project that uses: Chaff
describes a project that uses: BerkMin
describes a project that uses: Velev SAT Benchmarks
describes a project that uses: Shatter
describes a project that uses: PBS
MaRDI profile type: Publication
full work available at URL: s10472-010-9173-2
OpenAlex ID: W2137289237
cites work: Symmetry breaking for pseudo-Boolean formulas
cites work: Conditional Symmetry Breaking
cites work: BerkMin: A fast and robust SAT-solver
DOI: 10.1007/S10472-010-9173-2
description: scientific article; zbMATH DE number 5721643