Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 161-180 of 870 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
161Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela An abstract form of the first epsilon theoremArtikel Article 2021
162Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Kwon, O-joung Measuring what matters: Ahybrid approach to dynamic programming with treewidthArtikel Article 2021
163Ganian, Robert ; Szeider, Stefan New width parameters for SAT and #SATArtikel Article 2021
164Moser, Maximilian ; Musliu, Nysret ; Schaerf, Andrea ; Winter, Felix Exact and metaheuristic approaches for unrelated parallel machine schedulingArtikel Article 2021
165Winter, Felix ; Musliu, Nysret A large neighborhood search approach for the paint shop scheduling problemArtikel Article 2021
166Mischek, Florian ; Musliu, Nysret ; Schaerf, Andrea Local search approaches for the test laboratory scheduling problem with variable task groupingArtikel Article 2021
167Gupta, Sushmita ; Roy, Sanjukta ; Saurabh, Saket ; Zehavi, Meirav Balanced stable marriage: How close is close enough?Artikel Article 2021
168Bulteau, Laurent ; Grüttemeier, Niels ; Komusiewicz, Christian ; Sorge, Manuel Your rugby mates don't need to know your colleagues: Triadic closure with edgecolorsArtikel Article 2021
169De Coster, Arnaud ; Musliu, Nysret ; Schaerf, Andrea ; Schoisswohl, Johannes ; Smith-Miles, Kate Algorithm selection and instance space analysis for curriculum-based course timetablingArtikel Article 2021
170Saribatur, Zeynep G. ; Eiter, Thomas ; Schüller, Peter Abstraction for non-ground answer set programsArtikel Article 2021
171Fichte, Johannes K. ; Hecher, Markus ; Hamiti, Florim The Model Counting Competition 2020Artikel Article 2021
172Lackner, Martin ; Skowron, Piotr Consistent approval-based multi-winner rulesArtikel Article 2021
173Eiter, Thomas ; Kaminski, Tobias Pruning external minimality checking for answer set programs using semantic dependenciesArtikel Article 2021
174Fellner, Andreas ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg Mutation testing with hyperpropertiesArtikel Article 2021
15Chockler, Hana ; Weissenbacher, Georg Preface of the special issue on the conference on computer-aided verification 2018Artikel Article2021
16BALDUCCINI, MARCELLO ; LIERLER, YULIYA ; WOLTRAN, STEFAN PrefaceArtikel Article2021
17Jatschka, Thomas ; Raidl, Günther R. ; Rodemann, Tobias A General Cooperative Optimization Approach for Distributing Service Points in Mobility ApplicationsArtikel Article 2021
18Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
19Powell, Thomas ; Schuster, Peter ; Wiesnet, Franziskus A universal algorithm for Krull's theoremArtikel Article 2021
20Özcan, Ender ; Burke, Edmund ; Di Gaspero, Luca ; MCCollum, Barry ; Musliu, Nysret Preface: The practice and theory of automated timetabling (2018)Artikel Article2021