Have a personal or library account? Click to login

Selection of search strategies for solving 3-SAT problems

International Journal of Applied Mathematics and Computer Science
Volume 24 (2014): Issue 2 (June 2014)
By:
Open Access
|Jun 2014

Authors

DOI: https://doi.org/10.2478/amcs-2014-0021 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 283 - 297
Submitted on: Jan 13, 2013
Published on: Jun 26, 2014
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Keywords:
SAT solving,
formal verification,
CNF,
Boolean satisfiability
Related subjects:
Mathematics,
Applied mathematics

© 2014 Andrzej Pułka, published by University of Zielona Góra
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 24 (2014): Issue 2 (June 2014)Next article