Antoni Michalski

• Algorytm rozwiązywania pewnej klasy zadań pseudoboolowskich
• Drzewiaste struktury informacyjne w algorytmach syntezy logicznej
• Niektóre problemy syntezy sieci kombinacyjnych z modyfikacją połączeń
• Propozycja rozszerzenia języka LOL