Berechnung von Booleschen Ableitungen bei der Testsatzanalyse für digitale SchaltungenUbar, Raimund-JohannesNachrichtentechnik, Elektronik : technisch-wissenschaftlishe Zeitschrift für die gesamte elektronische Nachrichtentechnik1977 / p. 21-23 : ill https://www.ester.ee/record=b1550811*est

Boolean fault dignosis with structurally synthesized BDDsUbar, Raimund-JohannesRecent progress in the Boolean domain2014 / p. 303-331 : ill

Combinatorial calculations in many-dimensional Boolean spaceZakrevskij, Arkadij2012 http://www.ester.ee/record=b2771638*est

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

Hardware/software co-design in extensible processing platforms for combinatorial search algorithmsSkliarova, Iouliia; Sklyarov, Valery; Rjabov, Artjom; Sudnitsõn, AleksanderMELECON 2014 : 2014 17th IEEE Mediterranean Electrotechnical Conference :  13-16 April 2014, Beirut, Lebanon2014 / p. 462-466 : ill

Multiplekserite võrkude süntees Boole'i funktsioonide informatiivse keerukushinnangu aluselTampuu, E.; Keevallik, AndresXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 92 https://www.ester.ee/record=b1322611*est

Optimization in Boolean spaceZakrevskij, Arkadij; Pottosin, Yu.; Cheremisinova, L.2009 http://www.ester.ee/record=b2461762*est

Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13

Using SAT-based techniques in low power state assignmentSagahyroon, Assim; Aloul, Fadi; Sudnitsõn, AleksanderJournal of circuits, systems, and computers2011 / p. 1605-1618 : ill https://www.worldscientific.com/doi/10.1142/S0218126611007980

Классификация булевых функцииHenno, JaakVII Всесоюзная конференция по математической логике, посвященная 75-летию академика А.И. Мальцева, Новосибирск, 5-7 сент. 1984 г. : Тез. докл.1984 / с. 98-99

Построение сокращенных дизъюнктивных нормальных форм булевых функций методом масокMihejeva, Ludmilla; Salum, H.Eesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1969 / lk. 458-460 https://www.ester.ee/record=b1264320*est