| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An empirical study of learning and forgetting constraints
|
Gent, Ian P.
|
|
2012
|
25 |
2 |
p. 191-208
|
artikel
|
| 2 |
An empirical study of learning and forgetting constraints
|
Gent, Ian P.
|
|
2012
|
25 |
2 |
p. 191-208
|
artikel
|
| 3 |
Challenging SMT solvers to verify neural networks
|
Pulina, Luca
|
|
2012
|
25 |
2 |
p. 117-135
|
artikel
|
| 4 |
Challenging SMT solvers to verify neural networks
|
Pulina, Luca
|
|
2012
|
25 |
2 |
p. 117-135
|
artikel
|
| 5 |
Community of scientist optimization: An autonomy oriented approach to distributed optimization
|
Milani, Alfredo
|
|
2012
|
25 |
2 |
p. 157-172
|
artikel
|
| 6 |
Community of scientist optimization: An autonomy oriented approach to distributed optimization
|
Milani, Alfredo
|
|
2012
|
25 |
2 |
p. 157-172
|
artikel
|
| 7 |
Development and assessment of the SHARP and RandSHARP algorithms for the arc routing problem
|
González-Martín, Sergio
|
|
2012
|
25 |
2 |
p. 173-189
|
artikel
|
| 8 |
Development and assessment of the SHARP and RandSHARP algorithms for the arc routing problem
|
González-Martín, Sergio
|
|
2012
|
25 |
2 |
p. 173-189
|
artikel
|
| 9 |
Parallel search for maximum satisfiability
|
Martins, Ruben
|
|
2012
|
25 |
2 |
p. 75-95
|
artikel
|
| 10 |
Parallel search for maximum satisfiability
|
Martins, Ruben
|
|
2012
|
25 |
2 |
p. 75-95
|
artikel
|
| 11 |
Solving disjunctive temporal problems with preferences using maximum satisfiability
|
Maratea, Marco
|
|
2012
|
25 |
2 |
p. 137-156
|
artikel
|
| 12 |
Solving disjunctive temporal problems with preferences using maximum satisfiability
|
Maratea, Marco
|
|
2012
|
25 |
2 |
p. 137-156
|
artikel
|
| 13 |
18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
|
Gavanelli, Marco
|
|
2012
|
25 |
2 |
p. 73-74
|
artikel
|
| 14 |
18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
|
Gavanelli, Marco
|
|
2012
|
25 |
2 |
p. 73-74
|
artikel
|
| 15 |
Towards efficient MUS extraction
|
Belov, Anton
|
|
2012
|
25 |
2 |
p. 97-116
|
artikel
|
| 16 |
Towards efficient MUS extraction
|
Belov, Anton
|
|
2012
|
25 |
2 |
p. 97-116
|
artikel
|
Tijdschrift beschrijving