Journals in DBLP

Constraints
2009, volume: 14, number: 4

1. 
   A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. [Citation Graph (, )][DBLP]
   
   
2. 
   On implementing symmetry detection. [Citation Graph (, )][DBLP]
   
   
3. 
   SymChaff: exploiting symmetry in a structure-aware satisfiability solver. [Citation Graph (, )][DBLP]
   
   
4. 
   Dynamic structural symmetry breaking for constraint satisfaction problems. [Citation Graph (, )][DBLP]
   
   
5. 
   Non-binary quantified CSP: algorithms and modelling. [Citation Graph (, )][DBLP]