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

Author/Creator Schaub, Torsten

1. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. (15th October 2009)

Authors:: Ishebabi, Harold; Mahr, Philipp; Bobda, Christophe; Gebser, Martin; Schaub, Torsten
Other Names:: Torres Lionel Academic Editor.
Journal:: International journal of reconfigurable computing
Issue:: Volume 2009(2009)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. (15th October 2009)

Authors:: Ishebabi, Harold; Mahr, Philipp; Bobda, Christophe; Gebser, Martin; Schaub, Torsten
Other Names:: Torres Lionel Academic Editor.
Journal:: International journal of reconfigurable computing
Issue:: Volume 2009(2009)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Eclingo : A Solver for Epistemic Logic Programs. Issue 6 (November 2020)

Authors:: Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 6(2020)
Page Start:: 834
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗