A Parallel Search Algorithm for the SAT

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	V. Gil Costa
Natura:	Artículo científico
Lingua:	en
Pubblicazione:	Universidad Nacional de La Plata 2005
Soggetti:	Computación SAT MPI BSP searches metric spaces
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Optimizing the Spatial Approximation Tree from the Root
di: Alejandro Gomez
Pubblicazione: (2008)

Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces
di: Nieves R. Brisaboa
Pubblicazione: (2007)

An Efficient Alternative for Deletions in Dynamic Spatial Approximation Trees
di: Fernando Kasián
Pubblicazione: (2014)

Buckets Inverted Lists for a Search Engine with BSP
di: V. Gil Costa
Pubblicazione: (2006)

On the Relevance of Search Space Reduction in Automatic Plagiarism Detection
di: Alberto Barrón-Cedeño
Pubblicazione: (2009)

APCM: An Auto-Parallellism Computational Model Increasing the performance of MPI applications in multi-core environments
di: André Luiz Lima da Costa
Pubblicazione: (2013)

Metric-Temporal Access Methods
di: Anabella De Battista
Pubblicazione: (2010)

Fast Most Similar Neighbor (MSN) classifiers for Mixed Data
di: Selene Hernández Rodríguez
Pubblicazione: (2010)

Banach contraction theorem on fuzzy cone b-metric space
di: Surjeet Singh Chauhan (Gonder)
Pubblicazione: (2020)

Geometric Analysis of Grover’s Search Algorithm in the Presence of Perturbation
di: Wenliang Jin
Pubblicazione: (2014)

USO DE FERTILIZANTES ORGÁNICOS PARA LA MEJORA DE PROPIEDADES QUÍMICAS Y MICROBIOLÓGICAS DEL SUELO Y DEL CRECIMIENTO DEL CÍTRICO Citrange troyer
di: Apolinar González-Mancilla
Pubblicazione: (2013)

Solving Multiple Queries through a Permutation Index in GPU
di: Mariela Lopresti
Pubblicazione: (2013)

Search Space Calculation to Improve Parameter Estimation of Excitation Control Systems
di: Andrés J. Saavedra-Montes
Pubblicazione: (2013)

Critical Asymmetric Ball Twins in Directed Graphs: Structural Characterization, Reciprocity Effects, and Asymptotic Scaling
di: vural, mehmet, et al.
Pubblicazione: (2026)

Using AWS EC2 as Test-Bed infrastructure in theI/O system configuration for HPC applications
di: Pilar Gomez-Sanchez
Pubblicazione: (2016)

Image clutter metrics and target acquisition performance
di: Boban P. Bondžulić
Pubblicazione: (2023)

Decomposability of DiSAT for Index Dynamization
di: Edgar Chávez
Pubblicazione: (2017)

EVALUATING THE PERFORMANCE OF PARALLEL COMPUTING IN HYBRID MODELS
di: Chen Yongyu
Pubblicazione: (2023)

Conteo de modelos en la clase sintactica 2m-3MON
di: Carlos Guillen
Pubblicazione: (2013)

A new version of the results of UN-hypermetric spaces
di: Akbar Dehghan Nezhad
Pubblicazione: (2021)

Revisiting and revamping some novel results in F-metric spaces
di: Zoran D. Mitrović
Pubblicazione: (2021)

Cellular Memetic Algorithms
di: Enrique Alba
Pubblicazione: (2005)

Solving SAT with Quantum Vacuum Dynamics
di: Sethurathienam, Iyer
Pubblicazione: (2025)

A Scatter Search Algorithm for Solving a Bilevel Optimization Model for Determining Highway Tolls
di: José Luis González Velarde
Pubblicazione: (2015)

Distributed Simulation of Large-Scale Individual Oriented Models
di: Diego Mostaccio
Pubblicazione: (2006)

Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem
di: Kieu, Tuyen Van, et al.
Pubblicazione: (2025)

Fast approximate string matching with finite automata
di: Mans Hulden
Pubblicazione: (2009)

THE PERFORMANCE OF SOME META-HEURISTICS IN CONTINUOUS PROBLEMS STUDIED ACCORDING TO THE LOCATION OF THE OPTIMA IN THE SEARCH SPACE
di: RICARDO NAVARRO
Pubblicazione: (2013)

The Revised SAT Score and Its Potential Benefits for the Admission of Minority Students to Higher Education
di: Maria Veronica Santelices
Pubblicazione: (2015)

An Adaptive Random Search for Unconstrained Global Optimization
di: Jonás Velasco
Pubblicazione: (2014)

A NOTE ON THE MEIR-KEELER THEOREM IN THE CONTEXT OF b-METRIC SPACES
di: Mirjana V. Pavlović
Pubblicazione: (2019)

Remedies for the Inconsistences in the Times of Execution of the Unsorted Database Search Algorithm within the Wave Approach
di: Manuel Ávila
Pubblicazione: (2017)

Business Process Models Clustering Based on Multimodal Search, K-means, and Cumulative and No-Continuous N-Grams
di: Hugo Ordoñez
Pubblicazione: (2016)

Long-chain diols in rivers
di: Lattaud, Julie, et al.
Pubblicazione: (2019)

Novelty Search for the Synthesis of Current Followers
di: Enrique Naredo
Pubblicazione: (2016)

A different approach to b(αn,βn)-hypermetric spaces
di: Akbar Dehghan Nezhad
Pubblicazione: (2022)

Parameter Estimation for Chaotic Fractional Systems by Using the Locust Search Algorithm
di: Erik Cuevas
Pubblicazione: (2017)

A Hybrid Grouping Genetic Algorithm for the Inventory Routing Problem with multi-tours of the Vehicle
di: A. Sadok
Pubblicazione: (2010)

Solutions and Ulam-Hyers stability of differential inclusions involving Suzuki type multivalued mappings on b-metric spaces
di: Mujahid Abbas
Pubblicazione: (2020)

ON SOME F – CONTRACTION OF PIRI– KUMAM–DUNG–TYPE MAPPINGS IN METRIC SPACES
di: Jelena Z. Vujaković
Pubblicazione: (2020)