Cargando…

Efficient implementation of parallel SAT solver based stochastic local search

Detalles Bibliográficos
Autor principal:	Abed, Sa'Ed
Lenguaje:	eng
Publicado:	Nova Science Publishers 2020
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2716625

Ejemplares similares

Error metrics determination in functionally approximated circuits using SAT solvers
por: Abed, Sa’ed, et al.
Publicado: (2020)

Porting industrial codes and developing sparse linear solvers on parallel computers
por: Daydé, M J, et al.
Publicado: (1994)

Implementing a linear equation solver in the CFD code PHOENICS
por: Boparai, M K
Publicado: (1993)

Fast solvers for mesh-based computations
por: Paszynski, Maciej
Publicado: (2015)

Computational thinking for the modern problem solver
por: Riley, David D, et al.
Publicado: (2014)

Higher Order Basis Based Integral Equation Solver (HOBBIES)
por: Zhang, Yu, et al.
Publicado: (2012)

Shortest path solvers from software to wetware
por: Adamatzky, Andrew
Publicado: (2018)

Visual C++ how-to: the definitive MFC problem solver
por: Stanfield, Scott, et al.
Publicado: (1995)

Task scheduling in an asynchronous distributed memory multifrontal solver
por: Amestoy, P R, et al.
Publicado: (2002)

Comparative test results for two ODE solvers: EPISODE and GEAR
por: Byrne, G D, et al.
Publicado: (1977)

The Quantum Mechanics Solver: How to Apply Quantum Theory to Modern Physics
por: Basdevant, Jean-Louis, et al.
Publicado: (2006)

Designing efficient algorithms for parallel computers
por: Quinn, Michael J
Publicado: (1987)

Practical machine learning with Python: a problem-solver's guide to building real-world intelligent systems
por: Sarkar, Dipanjan, et al.
Publicado: (2017)

Practical machine learning with Python: a problem-solver's guide to building real-world intelligent systems
por: Sarkar, Dipanjan, et al.
Publicado: (2018)

Structured Parallel Programming: Patterns for Efficient Computation
por: McCool, Michael, et al.
Publicado: (2012)

Languages for parallel architectures: design, semantics, implementation models
por: De Bakker, Jacobus Willem
Publicado: (1989)

Implementation of histogramming techniques in a parallel software environment
por: Garcia Feal, Orlando
Publicado: (2013)

Parallel implementation of Parton String Model event generator
por: Nemnyugin, S, et al.
Publicado: (2005)

Python parallel programming cookbook: master efficient parallel programming to build powerful applications using Python
por: Zaccone, Giancarlo
Publicado: (2015)

Search by triplet: An efficient local track reconstruction algorithm for parallel architectures
por: Cámpora Pérez, Daniel Hugo, et al.
Publicado: (2022)

Lego Mindstorms NXT thinking robots: build a Rubik's cube solver and a tic-tac-toe playing robot!
por: Benedettelli, Daniele
Publicado: (2010)

Mathematical programming solver based on local search
por: Gardi, Frédéric, et al.
Publicado: (2014)

Implementation of monitors with macros: a programming aid for the HEP and other parallel processors
por: Lusk, E L, et al.
Publicado: (1984)

Algorithms for elliptic problems: efficient sequential and parallel solvers
por: Vajteršic, Marián
Publicado: (1993)

Efficient job handling in the GRID: short deadline, interactivity, fault tolerance and parallelism
por: Moscicki, Jakub
Publicado: (2006)

An introduction to stochastic modeling
por: Taylor, Howard M, et al.
Publicado: (1984)

An introduction to stochastic modeling
por: Taylor, Howard M, et al.
Publicado: (1994)

Introduction to stochastic networks
por: Serfozo, Richard
Publicado: (1999)

Hands-on concurrency with Rust: confidently build memory-safe, parallel, and efficient software in Rust
por: Troutwine, Brian L
Publicado: (2018)

Parallel Programming with Intel Parallel Studio XE
por: Blair-Chappell , Stephen, et al.
Publicado: (2012)

An approach to implementing state space searches on heterogeneous systems of multiprocessors
por: Glickfeld, B W, et al.
Publicado: (1987)

Markov processes for stochastic modeling
por: Ibe, Oliver C
Publicado: (2013)

Parallel R
por: McCallum, Ethan, et al.
Publicado: (2011)

On speeding up factoring with quantum SAT solvers
por: Mosca, Michele, et al.
Publicado: (2020)

Factoring semi-primes with (quantum) SAT-solvers
por: Mosca, Michele, et al.
Publicado: (2022)

Improving the efficiency of automated protocol implementation using Estelle
por: Gotzhein, R, et al.
Publicado: (1995)

Parallel, object-oriented, and active knowledge base systems
por: Vlahavas, Ioannis, et al.
Publicado: (1998)

Implementation of a Monte Carlo simulation environment for fully 3D PET on a high-performance parallel platform
por: Zaidi, H, et al.
Publicado: (1998)

Stochastic finance : an introduction with market examples
por: Privault, Nicolas
Publicado: (2014)

Stochastic cooling and related RF components
por: Nolden, F
Publicado: (2005)

Cannot write session to /tmp/vufind_sessions/sess_h2dchlqdg2jkht7i3lur1q8lqi