An overview of parallel SAT solving
Boolean satisfiability (SAT) solvers are currently very effective in practice. However, there
are still many challenging problems for SAT solvers. Nowadays, extra computational power …
are still many challenging problems for SAT solvers. Nowadays, extra computational power …
Embarrassingly parallel search
Abstract We propose the Embarrassingly Parallel Search, a simple and efficient method for
solving constraint programming problems in parallel. We split the initial problem into a huge …
solving constraint programming problems in parallel. We split the initial problem into a huge …
A review of literature on parallel constraint solving
As multi-core computing is now standard, it seems irresponsible for constraints researchers
to ignore the implications of it. Researchers need to address a number of issues to exploit …
to ignore the implications of it. Researchers need to address a number of issues to exploit …
Technology alternatives for workplace safety risk mitigation in construction: Exploratory study
Safety performance in the construction industry has reached alarming levels and continues
to be a primary source of concern to industry stakeholders. The construction industry is …
to be a primary source of concern to industry stakeholders. The construction industry is …
Exploratory study of potential negative safety outcomes associated with UAV-assisted construction management
ABSTRACT A variety of technologies have been implemented in the construction industry at
an increasing rate. With the on-going development of assistive remote sensing and …
an increasing rate. With the on-going development of assistive remote sensing and …
A GPU implementation of large neighborhood search for solving constraint optimization problems
Constraint programming has gained prominence as an effective and declarative paradigm
for modeling and solving complex combinatorial problems. Techniques based on local …
for modeling and solving complex combinatorial problems. Techniques based on local …
Knowledge mining for cognitive agents through path based forward checking
T Atahary, T Taha, F Webber… - 2015 IEEE/ACIS 16th …, 2015 - ieeexplore.ieee.org
The Cognitively Enhanced Complex Event Processing (CECEP) architecture is an
autonomous decision support tool that reasons and learns like humans and enables …
autonomous decision support tool that reasons and learns like humans and enables …
Self-splitting of workload in parallel computation
Parallel computation requires splitting a job among a set of processing units called workers.
The computation is generally performed by a set of one or more master workers that split the …
The computation is generally performed by a set of one or more master workers that split the …
Hardware accelerated cognitively enhanced complex event processing architecture
Agent-based decision aids can improve their performance by mining domain knowledge
captured in cognitive domain ontologies (CDOs). This paper introduces a cognitively …
captured in cognitive domain ontologies (CDOs). This paper introduces a cognitively …
Solving combinatorial problems using a parallel framework
T Menouer - Journal of Parallel and Distributed Computing, 2018 - Elsevier
This paper presents a new IBobpp framework which is an improvement of a high level
parallel programming framework called Bobpp to optimize the performance of solving …
parallel programming framework called Bobpp to optimize the performance of solving …