{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T22:14:10Z","timestamp":1683756850717},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,3,17]],"date-time":"2016-03-17T00:00:00Z","timestamp":1458172800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s10836-016-5572-6","type":"journal-article","created":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T16:13:17Z","timestamp":1458317597000},"page":"197-208","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["New Boolean Equation for Orthogonalizing of Disjunctive Normal Form based on the Method of Orthogonalizing Difference-Building"],"prefix":"10.1007","volume":"32","author":[{"given":"Yavuz","family":"Can","sequence":"first","affiliation":[]},{"given":"Hassen","family":"Kassim","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Fischer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,17]]},"reference":[{"key":"5572_CR1","unstructured":"Bochmann D, Posthoff CH (1981) Bin\u00e4re dynamische Systeme. Akademie-Verlag Berlin, DDR"},{"key":"5572_CR2","doi-asserted-by":"crossref","unstructured":"Bochmann D, Zakrevskij AD, Posthoff CH (1984) Boolesche Gleichungen. Theorie - Anwendungen - Algorithmen. VEB Verlag Technik, Berlin, DDR","DOI":"10.1007\/978-3-7091-9507-9"},{"key":"5572_CR3","unstructured":"Bochmann D (2006) Bin\u00e4re Systeme - Ein Boolean Buch. LiLoLe-Verlag, Hagen, Germany"},{"key":"5572_CR4","unstructured":"Bronstein IN, Musiol G, M\u00fchlig H, Semendjajew KA (2008) Taschenbuch der Mathematik 7. vollst\u00e4ndig \u00fcberarbeitete und erg\u00e4nzte Auflage. Harri Deutsch Verlag, Frankfurt am Main, Thun, Germany"},{"key":"5572_CR5","unstructured":"Bushnell M L, Agrawal V D (2000) Essentials of electronic testing for digital, memory and mixed-signal VLSI circuits. Springer Science+Business Media, Inc., New York USA"},{"key":"5572_CR6","doi-asserted-by":"crossref","unstructured":"Can Y, Fischer G (2015) Orthogonalizing Boolean Subtraction of Minterms or Ternary-Vectors. Journal Acta Physica Polonica A. Special Issue of the International Conference on Computational and Experimental Science and Engineering, 128(2B): B-388","DOI":"10.12693\/APhysPolA.128.B-388"},{"key":"5572_CR7","doi-asserted-by":"crossref","unstructured":"Can Y, Fischer G (2015) Boolean Orthogonalizing Combination Methods. In: Fifth International Conference on Computational Science, Engineering and Information Technology (CCSEIT 2015), Vienna, Austria, 23-24","DOI":"10.5121\/csit.2015.51102"},{"key":"5572_CR8","doi-asserted-by":"crossref","unstructured":"Cohen M B, Gibbons P B, Mugridge W B, Colbourn C (2003) Constructing Test Suites for Interaction Testing. In: Proc. 25th International Conference on Software Engineeruing (ICSE\u201903), IEEE Computer Society","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"5572_CR9","doi-asserted-by":"crossref","unstructured":"Crama Y, Hammer P L (2011) Boolean Functions. Theory, Algorithms, and Applications. Cambridge University Press, New York, USA","DOI":"10.1017\/CBO9780511852008"},{"key":"5572_CR10","unstructured":"Czutro A (2013) Applications of SAT-Based Test Pattern Generation Efficiency. Dissertation, Technical Faculty of Albert-Ludwigs-University in Freiburg, Germany"},{"key":"5572_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4317.001.0001","volume-title":"Logic Testing and Design for Testability","author":"H Fujiwara","year":"1985","unstructured":"Fujiwara H (1985) Logic Testing and Design for Testability. MIT Press, Cambridge, MA"},{"key":"5572_CR12","unstructured":"Gherman V (2006) Scalable Deterministic Logic Built-In Self-Test. Dissertation, Computer Engineering of University Stuttgart, Germany"},{"key":"5572_CR13","unstructured":"Kassim H, Can Y, Sattler M S (2014) Untersuchung eines neuen Algorithmus zur Berechnung orthogonalisierter Differenz. Bachelor-thesis, Friedrich-Alexander-University Erlangen-Nuremberg, Germany"},{"key":"5572_CR14","unstructured":"Kempe G (2003) Tupel von TVL als Datenstruktur f\u00fcr Boolesche Funktionen, Tupel von TVL als Datenstruktur f\u00fcr Boolesche Funktionen. Dissertation Technische Universit\u00e4t Bergakademie of Freiberg, Germany"},{"key":"5572_CR15","unstructured":"K\u00fchnrich M (1979) Tern\u00e4rvektorlisten und deren Anwendung auf bin\u00e4re Schaltnetzwerke. Dissertation Technische Universit\u00e4t Karl-Marx-Stadt (Chemnitz), DDR"},{"key":"5572_CR16","unstructured":"Matthes W (1987) Spezielle Hardware zur Verarbeitung von Tern\u00e4rvektorlisten. Dissertation Technische Universit\u00e4t, Karl-Marx-Stadt (Chemnitz), DDR"},{"issue":"377","key":"5572_CR17","first-page":"169","volume":"20","author":"I Polian","year":"2004","unstructured":"Polian I (2004) On non-standard fault models for logic digital circuits: simulation, design for testability, industrial applications. VDI Fortschritt-Berichte 20(377):169\u2013178","journal-title":"VDI Fortschritt-Berichte"},{"key":"5572_CR18","unstructured":"Posthoff CH (1979) Der Boolesche Differentialkalk\u00fcl und seine Anwendung auf die Untersuchung dynamischer Erscheinungen in bin\u00e4ren Systemen. Dissertation, Technische Hochschule Karl-Marx-Stadt (Chemnitz) DDR"},{"key":"5572_CR19","unstructured":"Posthoff CH, Steinbach B (1979) Bin\u00e4re Gleichungen - Algorithmen und Programme. wissenschaftliche Schriftreihen, Karl-Marx-Stadt (Chemnitz), DDR"},{"key":"5572_CR20","unstructured":"Posthoff CH, Steinbach B (1991) Logikentwurf mit XBOOLE. Algorithmen und Programme. Verlag Technik GmbH Berlin Germany"},{"key":"5572_CR21","unstructured":"Posthoff C, Bochmann D, Haubold K (1986) Diskrete Mathematik. BSB Teubner Leipzig DDR"},{"key":"5572_CR22","unstructured":"Popula L (2011) Mathematik f\u00fcr Ingenieure und Naturwissenschaften Band 1. Viewer + Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden, Germany"},{"key":"5572_CR23","doi-asserted-by":"crossref","unstructured":"Steinbach B, St\u00f6ckert M (1994) Design of Fully Testable Circuits by Functional Decomposition and Implicit Test Pattern Generation. In: Proceedings of the 12th IEEE VLSI Test Symposium","DOI":"10.1109\/VTEST.1994.292339"},{"key":"5572_CR24","volume-title":"Entwurf testbarer Schaltungen Wissenschaftliche Schriftreihen","author":"B Steinbach","year":"1990","unstructured":"Steinbach B, Quoc L T (1990) Entwurf testbarer Schaltungen Wissenschaftliche Schriftreihen. Technische Universit\u00e4t Chemnitz, Germany"},{"key":"5572_CR25","unstructured":"Steinbach B, Posthoff CH (2010) The Solution of Discrete Constraint Problems Using Boolean Models. The Use of Ternary Vectors for Parallel SAT-Solving. In: Proc. of the 2nd International Conference on Agents and Artificial Intelligence - ICAART, Valencia, Spain, 22-24th January"},{"key":"5572_CR26","volume-title":"Orthogonal Block Change & Block Building Using Ordered Lists of Ternary Vectors. Freiberg University of Mining and Technology","author":"B Steinbach","year":"2002","unstructured":"Steinbach B, Dorotska CH (2002) Orthogonal Block Change & Block Building Using Ordered Lists of Ternary Vectors. Freiberg University of Mining and Technology. Freiberg, Germany"},{"key":"5572_CR27","unstructured":"Steinbach B, Dorotska CH (2003) Orthogonal Block Change & Block Building using a Simulated Annealing Algorithm. In: Proc. Conference on The Experience of Designing and Application of CAD Systems in Microelectronics CADSM 2003"},{"key":"5572_CR28","volume-title":"Orthogonal Block Building Using Ordered Lists of Ternary Vectors Freiberg University of Mining and Technology","author":"B Steinbach","year":"2000","unstructured":"Steinbach B, Dorotska CH (2000) Orthogonal Block Building Using Ordered Lists of Ternary Vectors Freiberg University of Mining and Technology. Freiberg, Germany"},{"key":"5572_CR29","doi-asserted-by":"crossref","unstructured":"Tsai W-T, Colbourn CJ, Luoy J, Qi G, Li Q, Bai X (2013) Test Algebra for Combinatorial Testing. In: Proc. 8th International Workshop on Automation of Software Test (AST 2013), San Francisco, CA, USA","DOI":"10.1109\/IWAST.2013.6595786"},{"key":"5572_CR30","unstructured":"Zander HJ (1989) Logischer Entwurf bin\u00e4rer Systeme. Verlag Technik, Berlin, DDR"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-016-5572-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-016-5572-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-016-5572-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T14:27:35Z","timestamp":1567693655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-016-5572-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,17]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["5572"],"URL":"https:\/\/doi.org\/10.1007\/s10836-016-5572-6","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,17]]}}}