Object
Title: Selection of search strategies for solving 3-SAT problems
Contributor:
Makowski, Ryszard - ed. ; Zarzycki, Jan - ed.
Subtitle:
Group publication title:
Abstract:
The paper concerns the problem of Boolean satisfiability checking, which is recognized as one of the most important issues in the field of modern digital electronic system verification and design. The paper analyzes different strategies and scenarios of the proving process, and presents a modified and extended version of the autor`s FUDASAT algorithm. ; The original FUDASAT methodology is an intuitive approach that employs a commonsense reasoning methodology. The main objective of the work is to investigate the SAT-solving process and try to formulate a set of rules controlling the reasoning process of the FUDASAT inference engine. In comparison with the autor`s previous works, the paper introduces new mechanisms: hypergraph analysis, multiple variable assignments and search space pruning algorithms. ; The approach considers only 3-SAT class functions, although a generalization of the method is discussed as well. The presented approach has been tested on various benchmarks and compared with the original pure FUDASAT algorithm as well as with other algorithms known from the literature. Finally, the benefits of the proposed SAT solving technique are summarized.
Publisher:
Zielona Góra: Uniwersytet Zielonogórski
Resource Identifier:
DOI:
Pages:
Source:
AMCS, volume 24, number 2 (2014) ; click here to follow the link
Language:
Rights:
Biblioteka Uniwersytetu Zielonogórskiego
Object collections:
- Repository > Faculties > Faculty of Computer, Electrical and Control Engineering
- Repository > Types of work > Articles
- Repository > Scientific journals and UZ publishing series > International Journal of Applied Mathematics and Computer Science (AMCS)
- Repository > Scientific journals and UZ publishing series > International Journal of Applied Mathematics and Computer Science (AMCS) > International Journal of Applied Mathematics and Computer Science (AMCS) (2014)
Last modified:
Apr 24, 2024
In our library since:
Apr 24, 2024
Number of object content hits:
12
All available object's versions:
https://zbc.uz.zgora.pl/repozytorium/publication/88745
Show description in RDF format:
Show description in OAI-PMH format:
-
International Journal of Applied Mathematics and Computer Science (AMCS)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 26 (2016)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 25 (2015)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 24 (2014)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 24, number 1 (2014)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 24, number 2 (2014)
- Regularized nonnegative matrix factorization: Geometrical interpretation and application to spectral unmixing
- Tikhonov regularization and constrained quadratic programming for magnetic coil design problems
- Automatic speech signal segmentation based on the innovation adaptive filter
- Artificial intelligence methods in diagnostics of analog systems
- Selection of search strategies for solving 3-SAT problems
- Assessment of hydrocephalus in children based on digital image processing and analysis
- Disturbance modeling and state estimation for offset-free predictive control with state-space process models
- A 2D system approach to the design of a robust modified repetitive-control system with a dynamic output-feedback controller
- Minimum energy control of fractional positive continuous-time linear systems with bounded inputs
- Local analysis of hybrid systems on polyhedral sets with state-dependent switching
- Design of a multivariable neural controller for control of a nonlinear MIMO plant
- Tracking an omnidirectional evader with a differential drive robot at a bounded variable distance
- A robust computational technique for a system of singularly perturbed reaction-diffusion equations
- A support vector machine with the tabu search algorithm for freeway incident detection
- An efficient algorithm for adaptive total variation based image decomposition and restoration
- Bivariate Hahn moments for image reconstruction
- Transient and stationary characteristics of a packet buffer modelled as an MAP/SM/1/b system
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 24, number 3 (2014)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 24, number 4 (2014)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 24, number 1 (2014)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 23 (2013)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 22 (2012)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 21 (2011)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 20 (2010)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 19 (2009)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 18 (2008)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 17 (2007)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 16 (2006)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 15 (2005)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13 (2003)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12 (2002)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 11 (2001)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 10 (2000)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 9 (1999)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 8 (1998)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 7 (1997)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 6 (1996)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 5 (1995)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4 (1994)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 3 (1993)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 2 (1992)
-
International Journal of Applied Mathematics and Computer Science (AMCS),volume 1 (1991)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 26 (2016)
| Edition name | Date |
|---|---|
| Selection of search strategies for solving 3-SAT problems | Apr 24, 2024 |
