|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Argumentation Reasoning via Circumscription with Pyglaf |
Alviano, Mario |
2019 |
167 | 1-2 |
p. 1-30 |
article |
|
| 2 | Efficient Approaches for Solving a Multiobjective Energy-aware Job Shop Scheduling Problem |
González, Miguel A. |
2019 |
167 | 1-2 |
p. 93-132 |
article |
|
| 3 | Expansion-based QBF Solving on Tree Decompositions* |
Charwat, Günther |
2019 |
167 | 1-2 |
p. 59-92 |
article |
|
| 4 | Model Enumeration via Assumption Literals |
Alviano, Mario |
2019 |
167 | 1-2 |
p. 31-58 |
article |
|
| 5 | Preface |
Maratea, Marco |
2019 |
167 | 1-2 |
p. v-vii |
article |
|
| 6 | Tackling Permutation-based Optimization Problems with an Algebraic Particle Swarm Optimization Algorithm |
Santucci, Valentino |
2019 |
167 | 1-2 |
p. 133-158 |
article |
6 results found