Login / Signup

A Study of Symmetry Breaking Predicates and Model Counting.

Wenxi WangMuhammad UsmanAlyas AlmaawiKaiyuan WangKuldeep S. MeelSarfraz Khurshid
Published in: TACAS (1) (2020)
Keyphrases
  • symmetry breaking
  • constraint programming
  • database systems
  • computational complexity
  • data model
  • global constraints