18th RCRA International Workshop on 'Experimental evaluation of algorithms for solving problems with combinatorial explosion'.
- Published in:
- AI Communications, 2012, v. 25, n. 2, p. 73, doi. 10.3233/aic-2012-0528
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2012 AND VI 25 AND IP 2
Results: 8
1
2
Solving disjunctive temporal problems with preferences using maximum satisfiability.
- Published in:
- AI Communications, 2012, v. 25, n. 2, p. 137, doi. 10.3233/aic-2012-0527
- By:
- Publication type:
- Article
3
Community of scientist optimization: An autonomy oriented approach to distributed optimization.
- Published in:
- AI Communications, 2012, v. 25, n. 2, p. 157
- By:
- Publication type:
- Article
4
Challenging SMT solvers to verify neural networks.
- Published in:
- AI Communications, 2012, v. 25, n. 2, p. 117
- By:
- Publication type:
- Article
5
An empirical study of learning and forgetting constraints.
- Published in:
- AI Communications, 2012, v. 25, n. 2, p. 191
- By:
- Publication type:
- Article
6
Towards efficient MUS extraction.
- Published in:
- AI Communications, 2012, v. 25, n. 2, p. 97
- By:
- Publication type:
- Article
7
Development and assessment of the SHARP and RandSHARP algorithms for the arc routing problem.
- Published in:
- AI Communications, 2012, v. 25, n. 2, p. 173
- By:
- Publication type:
- Article
8
Parallel search for maximum satisfiability.
- Published in:
- AI Communications, 2012, v. 25, n. 2, p. 75
- By:
- Publication type:
- Article