Buchumschlag

Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas.

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Guillermo De Ita Luna
Format:	Artículo científico
Sprache:	en
Veröffentlicht:	Universidad de Guanajuato 2012
Schlagworte:	Multidisciplinarias (Ciencias Sociales) SAT problem #SAT problem signed graph counting models electrical networks
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cellular Memetic Algorithms
von: Enrique Alba
Veröffentlicht: (2005)

Encoding-Invariant Variance Amplification and the Failure of Encoding-Invariant Collapse: A Diagnostic Probe
von: De Jesus, Elias
Veröffentlicht: (2026)

On the uniqueness of sign-changing solutions to a semipositone problem in annuli
von: Hugo Aduén
Veröffentlicht: (2016)

Trajectory Graphs Appearing from the Skein Problems at the Hypercube
von: Feliú Salgols
Veröffentlicht: (2016)

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

Evaluation of Consistency of the Knowledge in Agents
von: Meliza Contreras
Veröffentlicht: (2012)

Solving SAT with Quantum Vacuum Dynamics
von: Sethurathienam, Iyer
Veröffentlicht: (2025)

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

Efficient Computation of the Degree of Belief for a Subclass of Two Conjunctive Forms
von: Guillermo De Ita
Veröffentlicht: (2010)

Finding Pure Nash Equilibrium for the Resource-Constrained Project Scheduling Problem
von: Guillermo De Ita Luna
Veröffentlicht: (2015)

Variants of the mixed postman problem solvable using linear programming
von: Francisco Javier Zaragoza Martínez
Veröffentlicht: (2012)

Relations between Spectrum Curves of Discrete Sturm-Liouville Problem with Nonlocal Boundary Conditions and Graph Theory. II
von: Jonas Vitkauskas
Veröffentlicht: (2021)

Relations between spectrum curves of discrete Sturm – Liouville problem with nonlocal boundary conditions and graph theory
von: Jonas Vitkauskas
Veröffentlicht: (2020)

Applied Network Science
Veröffentlicht: (2017)

Victorian Dominant Land Cover, 2009-2013
von: Sheffield, Kathryn, et al.
Veröffentlicht: (2015)

Habitat map of Kadavu, Fiji derived from a high-spatial-resolution multi-spectral satellite image using object based image analysis
von: Roelfsema, Christiaan M, et al.
Veröffentlicht: (2013)

Benthic and substrate cover data derived from photo-transect surveys in Kadavu, Fiji on June, July, October and November 2009
von: Wendt, Hans, et al.
Veröffentlicht: (2013)

Conteo de modelos en la clase sintactica 2m-3MON
von: Carlos Guillen
Veröffentlicht: (2013)

A Parallel Search Algorithm for the SAT
von: V. Gil Costa
Veröffentlicht: (2005)

Certified XOR-Spectral Normalization for SAT: Entailed Parity Detection, Elimination, and DRAT-Compatible Progress
von: Paradise, Christopher
Veröffentlicht: (2026)

ESTRATEGIA DE ENFERMERIA EN PROMOCION DE SALUD PARA LA AUTOEFICACIA EN ADOLESCENTES CON SEÑALES ATEROGENICAS TEMPRANAS
von: Aliel García González
Veröffentlicht: (2008)

Habitat map of Kubulau, Fiji derived from a high-spatial-resolution multi-spectral satellite image using object based image analysis
von: Roelfsema, Christiaan M, et al.
Veröffentlicht: (2013)

Benthic and substrate cover data derived from photo-transect surveys in Kubulau, Fiji, 2009-09-16 to 2009-09-21
von: Roelfsema, Christiaan M, et al.
Veröffentlicht: (2013)

LA EQUIVALENCIA Y SUPRESIÓN EN LA RESOLUCIÓN DEL PROBLEMA INVERSO EN GEOELÉCTRICA: APLICACIÓN EN SANTA LUCÍA COTZUMALGUAPA, GUATEMALA
von: Ana Beatriz Cosenza Muralles
Veröffentlicht: (2006)

An alternative solution for the repair of electrical breakdowns after natural disasters based on ant colony optimization
von: Yasel José Costa-Salas
Veröffentlicht: (2014)

Ice-flow velocity, Kangerdlugssuaq Glacier, Greenland
von: Messerli, Alexandra, et al.
Veröffentlicht: (2018)

Satellite-based daily water extents in Poyang Lake region (A01, B07, B18, B46), China, 2000-2011
von: Wang, Jida, et al.
Veröffentlicht: (2014)

Ice-flow velocity, Jakobshavn Glacier, Greenland
von: Messerli, Alexandra, et al.
Veröffentlicht: (2018)

Plant Functional Type (PFT) map over Siberia derived from GlobCover 2005 dataset, link to dataset in NetCDF format
von: Ottlé, Catherine, et al.
Veröffentlicht: (2013)

Ice-flow velocity, Petermann Glacier, Greenland
von: Messerli, Alexandra, et al.
Veröffentlicht: (2018)

Subfields as the Unit of Progress: A Modular Path Through P vs NP
von: Figurelli, Rogério
Veröffentlicht: (2026)

Boolean Delay Equations: a dynamical approach to modeling complex systems
von: Ghil, Michael
Veröffentlicht: (2024)

The Local Graph-Gauge Meromorphic Image of Compatible Renormalized Tail Hierarchies
von: Mohammad Abu-Ghuwaleh
Veröffentlicht: (2026)

Description of the classification of publications and the models used in solving of the vehicle routing problem with pickup and delivery
von: Pedro Pablo Ballesteros Silva
Veröffentlicht: (2016)

On a classification of word problems from the first grade Lithuanian textbooks
von: Ieva Kilienė
Veröffentlicht: (2020)

TanDEM-X elevation model of Roi Baudoin ice shelf, link to GeoTIFF
von: Lenaerts, Jan T M, et al.
Veröffentlicht: (2016)

Habitat map of Roviana Reef, Solomon Islands derived from a high-spatial-resolution multi-spectral satellite image using object based image analysis
von: Roelfsema, Christiaan M, et al.
Veröffentlicht: (2013)

Benthic and substrate cover data derived from photo-transect surveys in a Sub Set of Roviana Reef, Solomon Islands, 2013-05-05 to 2013-05-09
von: Roelfsema, Christiaan M, et al.
Veröffentlicht: (2014)

Análisis de los costes de los accidentes de trabajo en las centrales hortofrutícolas de economía social de Alicante
von: David Bernardo López Lluch
Veröffentlicht: (2013)

Distinct-Variable Rado Numbers: Six Conjectures, Degree of Regularity, and 3-Color Results
von: Alexander Towell
Veröffentlicht: (2026)