TitleThe Solution of SAT Problems Using Ternary Vectors and Parallel Processing
Journal titleInternational Journal of Electronics and Telecommunications
Divisions of PASNauki Techniczne
International Journal of Electronics and Telecommunications (IJET, eISSN 2300-1933, untill 2013 also print ISSN 2081-8491) is a periodical of Electronics and Telecommunications Committee of Polish Academy of Sciences and it is published by Warsaw Science Publishers of PAS. It continues tradition of the Electronics and Telecommunications Quarterly (ISSN 0867-6747) established in 1955 as the Rozprawy Elektrotechniczne. The IJET is a scientific periodical where papers present the results of original, theoretical, experimental and reviewed works. They consider widely recognized aspects of modern electronics, telecommunications, microelectronics, optoelectronics, radioelectronics and medical electronics.
The authors are outstanding scientists, well‐known experienced specialists as well as young researchers – mainly candidates for a doctor's degree. The papers present original approaches to problems, interesting research results, critical estimation of theories and methods, discuss current state or progress in a given branch of technology and describe development prospects. All the papers published in IJET are reviewed by international specialists who ensure that the publications are recognized as author's scientific output.
The printed periodical is distributed among all those who deal with electronics and telecommunications in national scientific centers as well as in numeral foreign institutions, and it is subscribed by many specialists and libraries. Its electronic version is available at http://ijet.pl.
The papers received are published within half a year if the cooperation between author and the editorial staff is efficient. The papers may be submitted to the editorial office by the journal web page http://ijet.pl.
PublisherPolish Academy of Sciences Committee of Electronics and Telecommunications
IdentifierISSN 2081-8491 (until 2012) ; eISSN 2300-1933 (since 2013)
ReferencesSteinbach 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.