Coen J. C. Stevens

Learn More
Many CNF formulas representing real-world problems exhibit symmetries. Various efforts have been made to deal with these symmetries efficiently. After Crawford et al [2], which gives a theoretical framework for detecting and exploiting symmetries, different suggestions have been posed to prevent the exponential blow up of overhead costs which shows up(More)
— We present a novel approach to handle uncertainty , by assuming an irrational view of the world thus breaking with the tradition of taking a rational view. Changing this view allows us to think differently about the nature of uncertainty. Based on this new understanding, we propose a system that can cope with an imprecise, uncertain and changing 'world'.(More)
  • 1