scientific article; zbMATH DE number 1487977
From MaRDI portal
Publication:4495106
zbMath0957.68103MaRDI QIDQ4495106
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
A constraint-based approach to fast and exact structure prediction in three-dimensional protein models ⋮ Symmetry breaking constraints for value symmetries in constraint satisfaction ⋮ Symmetry definitions for constraint satisfaction problems ⋮ Towards breaking more composition symmetries in partial symmetry breaking ⋮ The Relation Between Complete and Incomplete Search ⋮ Computer-aided proof of Erdős discrepancy properties ⋮ Local Symmetry Breaking During Search in CSPs ⋮ Exploiting relaxation in local search for LABS ⋮ Exploiting symmetries within constraint satisfaction search ⋮ Symmetry breaking revisited ⋮ A SAT approach to query optimization in mediator systems ⋮ Pairwise symmetry reasoning for multi-agent path finding search ⋮ Dynamic structural symmetry breaking for constraint satisfaction problems ⋮ Lightweight dynamic symmetry breaking ⋮ Symmetries, almost symmetries, and lazy clause generation ⋮ Dominance breaking constraints
This page was built for publication:
