This work presents a novel strategy for improving SAT solver performance by using concurrency. Rather than aiming to parallelize search, we use concurrency to aid a conventional CDCL search procedure. More concretely, our work extends a conventional CDCL SAT solver with a second computation thread, which is solely used to strengthen the clauses learned by the solver. This provides a simple and ...

This study develops propositions for a benchmarking exercise involving SME and tourism destination brands. In order to reveal the role of SMEs at destinations and their role in the destination brand, the tourism production process is analysed. It is suggested to view destinations as virtual service firms (VSF) as this highlights the interdependencies between SMEs, but also allows the descriptio...

The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of its potential applications. In this paper we take inspiration from Huet, and describe a library suitable as an underpinning for structured editors. We consider a zipper structure that is suitable for traversing heterogen...