Author/Creator: Soeken, Mathias - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Soeken, Mathias

1. Advanced Boolean techniques : selected papers from the 13th International Workshop on Boolean Problems /: selected papers from the 13th International Workshop on Boolean Problems. ([2020])

Editors:: Drechsler, Rolf; Soeken, Mathias
Other Names:: International Workshop on Boolean Problems, 13th
Record Type:: Book
Extent:: 1 online resource, illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Ancilla-free synthesis of large reversible functions using binary decision diagrams. (March 2016)

Authors:: Soeken, Mathias; Tague, Laura; Dueck, Gerhard W.; Drechsler, Rolf
Journal:: Journal of symbolic computation
Issue:: Volume 73(2016)
Page Start:: 1
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Boolean satisfiability in quantum compilation. (23rd December 2019)

Authors:: Soeken, Mathias; Meuli, Giulia; Schmitt, Bruno; Mozafari, Fereshte; Riener, Heinz; De Micheli, Giovanni
Journal:: Philosophical transactions
Issue:: Volume 378:Number 2164(2020)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Boolean satisfiability in quantum compilation. (7th February 2020)

Authors:: Soeken, Mathias; Meuli, Giulia; Schmitt, Bruno; Mozafari, Fereshte; Riener, Heinz; De Micheli, Giovanni
Journal:: Philosophical transactions
Issue:: Volume 378:Number 2164(2020)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Formal specification level : concepts, methods, and algorithms /: concepts, methods, and algorithms. ([2015])

Authors:: Soeken, Mathias; Drechsler, Rolf
Record Type:: Book
Extent:: 1 online resource, illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Natural Language Processing for Electronic Design Automation. ([2020])

Editors:: Soeken, Mathias; Drechsler, Rolf
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Verifying the structure and behavior in UML/OCL models using satisfiability solvers. Issue 1 (1st December 2016)

Authors:: Przigoda, Nils; Soeken, Mathias; Wille, Robert; Drechsler, Rolf
Journal:: IET cyber-physical systems
Issue:: Volume 1:Issue 1(2016)
Page Start:: 49
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗