| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A weighted CSP approach to cost-optimal planning
|
Cooper, Martin C.
|
|
2011
|
24 |
1 |
p. 1-29
|
article
|
| 2 |
Clustering preprocessing to improve time series forecasting
|
Martínez-Álvarez, Francisco
|
|
2011
|
24 |
1 |
p. 97-98
|
article
|
| 3 |
Constraint-based methods for scheduling discretionary services
|
Wang, Xiaofang
|
|
2011
|
24 |
1 |
p. 51-73
|
article
|
| 4 |
Constraint-based methods for scheduling discretionary services
|
Wang, Xiaofang
|
|
2011
|
24 |
1 |
p. 51-73
|
article
|
| 5 |
Finite domain and symbolic inference methods for extensions of first-order logic
|
Wittocx, Johan
|
|
2011
|
24 |
1 |
p. 91-93
|
article
|
| 6 |
Graph-based data mining for biological applications
|
Schietgat, Leander
|
|
2011
|
24 |
1 |
p. 95-96
|
article
|
| 7 |
Max-SAT formalisms with hard and soft constraints
|
Argelich, Josep
|
|
2011
|
24 |
1 |
p. 101-103
|
article
|
| 8 |
On the use of machine learning methods for modern drug discovery
|
Soto, Axel J.
|
|
2011
|
24 |
1 |
p. 99-100
|
article
|
| 9 |
Recommendation of reliable users, social networks and high-quality resources in a Social Internetworking System
|
De Meo, Pasquale
|
|
2011
|
24 |
1 |
p. 31-50
|
article
|
| 10 |
The 5th IJCAR automated theorem proving system competition – CASC-J5
|
Sutcliffe, Geoff
|
|
2011
|
24 |
1 |
p. 75-89
|
article
|
Journal description