@article{Giraldez17,  
  author    = {Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru},
  title     = {Beyond the Structure of {SAT} Formulas},
  journal	= {Constraints},
  year		= {2017},
  volume	= {22},
  number	= {1},
  pages		= {95--96},
  doi		= "10.1007/s10601-016-9260-z",
}