Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Boolean Differential Equations, and . Synthesis Lectures on Digital Circuits and Systems Morgan & Claypool Publishers, (2013)The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving., and . ICAART (1), page 487-493. INSTICC Press, (2010)A Three-Level Hierarchy of Models for Lattices of Boolean Functions., and . EUROCAST (2), volume 10672 of Lecture Notes in Computer Science, page 238-245. Springer, (2017)Advances in Computer Chess 7.. KI, 8 (1): 34-36 (1994)Artificial Intelligence and Creativity - Two Requirements to Solve an Extremely Complex Coloring Problem., and . ICAART (2), page 411-418. SciTePress, (2013)Boolean Differential Calculus, and . Synthesis Lectures on Digital Circuits and Systems Morgan & Claypool Publishers, (2017)Wissensbasierte Konfigurierung: Das Projekt PROKON im Überblick., , , , , and . KI, 7 (1): 65-66 (1993)Die Lösung und Auflösung binärer Gleichungen mit Hilfe des Booleschen Differentialkalküls.. Elektronische Informationsverarbeitung und Kybernetik, 14 (1/2): 53-80 (1978)Representation of Sets in PROLOG., and . ICLP Workshop on Logic Programming with Sets, (1993)Evaluation and Optimization of GPU Based Unate Covering Algorithms., and . EUROCAST, volume 9520 of Lecture Notes in Computer Science, page 617-624. Springer, (2015)