Similar Items: Optimised constraint solving for real-world problems
- Design and evaluation of a formula cache for SMT-based bounded model checking tools
- Making a monument out of a memory
- Dynamic co-evolutionary algorithms for dynamic, constrained optimisation problems
- An evaluation of the requirements of users of biomedical informational services as provided by the South African Medical Research Council
- Toward a meta-methodology for real-world problem solving
- An analysis of the relationship between analyst-user cognitive style differences and user resistance to information systems