Open AccessSymmetry Breaking in Quantified Boolean Formulae
Author(s) -
Gilles Audemard,
Saïd Jabbour,
Lakhdar Saïs
Publication year - 2007
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - homogeneous space , true quantified boolean formula , symmetry breaking , symmetry (geometry) , task (project management) , boolean satisfiability problem , mathematics , prefix , benchmark (surveying) , computer science , algorithm , theoretical computer science , boolean function , solver , discrete mathematics , mathematical optimization , physics , quantum mechanics , geometry , linguistics , philosophy , management , geodesy , economics , geography