| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
About some UP-based polynomial fragments of SAT
|
Al-Saedi, Balasim
|
|
2015
|
79 |
1-3 |
p. 25-44
|
article
|
| 2 |
Analyzing restricted fragments of the theory of linear arithmetic
|
Wojciechowski, Piotr
|
|
2016
|
79 |
1-3 |
p. 245-266
|
article
|
| 3 |
Boosting conditional probability estimators
|
Gutfreund, Dan
|
|
2015
|
79 |
1-3 |
p. 129-144
|
article
|
| 4 |
Compact representations of all members of an independence system
|
Haus, Utz-Uwe
|
|
2016
|
79 |
1-3 |
p. 145-162
|
article
|
| 5 |
Dualization of boolean functions using ternary decision diagrams
|
Toda, Takahisa
|
|
2016
|
79 |
1-3 |
p. 229-244
|
article
|
| 6 |
Foreword
|
Hellerstein, Lisa
|
|
2016
|
79 |
1-3 |
p. 1-3
|
article
|
| 7 |
Improving configuration checking for satisfiable random k-SAT instances
|
Abramé, André
|
|
2016
|
79 |
1-3 |
p. 5-24
|
article
|
| 8 |
Learning concepts and their unions from positive data with refinement operators
|
Ouchi, Seishi
|
|
2015
|
79 |
1-3 |
p. 181-203
|
article
|
| 9 |
On the role of fairness and limited backward induction in sequential bargaining games
|
Qu, Xia
|
|
2015
|
79 |
1-3 |
p. 205-227
|
article
|
| 10 |
Prioritized assertional-based removed sets revision of DL-Lite belief bases
|
Benferhat, Salem
|
|
2015
|
79 |
1-3 |
p. 45-75
|
article
|
| 11 |
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory
|
Kern-Isberner, Gabriele
|
|
2015
|
79 |
1-3 |
p. 163-179
|
article
|
| 12 |
Weighted heuristic anytime search: new schemes for optimization over graphical models
|
Flerova, Natalia
|
|
2016
|
79 |
1-3 |
p. 77-128
|
article
|
Journal description