Title

The Solution of SAT Problems Using Ternary Vectors and Parallel Processing

Journal title

International Journal of Electronics and Telecommunications

Yearbook

2011

Volume

vol. 57

Issue

No 3

Authors

Posthoff, Christian ; Steinbach, Bernd

Divisions of PAS

Nauki Techniczne

Publisher

Polish Academy of Sciences Committee of Electronics and Telecommunications

Date

2011

Identifier

DOI: 10.2478/v10177-011-0032-9 ; eISSN 2300-1933 (since 2013) ; ISSN 2081-8491 (until 2012)

Source

International Journal of Electronics and Telecommunications; 2011; vol. 57; No 3

References

Steinbach B. (1992), XBOOLE-A Toolbox for Modelling, Simulation, and Analysis of Large Digital Systems. System Analysis and Modeling Simulation, 9, 297. ; Bochmann D. (1991), Logikentwurf mit XBOOLE. ; Posthoff C. (2004), Logic Functions and Equations-Binary Models for Computer Science, doi.org/10.1007/978-1-4020-2938-7 ; Steinbach B. (2009), Logic Functions and Equations-Examples and Exercises. ; W. Wessely, "Parallele Lösung großer Boolescher Probleme," Master's thesis, Freiberg University of Mining and Technology, 2009. ; Steinbach B. (2010), Several Approaches to Parallel Computing in the Boolean Domain, null, 6. ; Paul E. (2010), Application of CUDA in the Boolean Domain for the Unate Covering Problem, null, 133. ; Patterson D. (2009), Computer Organization and Design: the Hardware/Software Interface. ; Steinbach B. (2011), Parallel Solution of Covering Problems Super-Linear Speedup on a Small Set of Cores, GSTF International Journal on Computing, Global Science and Technology Forum (GSTF), 1, 2, 113. ; Lynce I. (2006), Sudoku as a SAT Problem, null. ; Weber T. (2005), A SAT-based Sudoku Solver, null, 11. ; G. Royle, "Minimum Sudoku." [Online]. Available: <a target="_blank" href='http://www.csse.uwa.edu.au/~gordon/sudokumin.php'>http://www.csse.uwa.edu.au/~gordon/sudokumin.php</a> ; Gropp W. (1999), Using MPI-2: Advanced Features of the Message Passing Interface.