Solving #SAT and MaxSAT by Dynamic Programming.
- Published in:
- Journal of Artificial Intelligence Research, 2015, v. 54, p. 59, doi. 10.1613/jair.4831
- By:
- Publication type:
- Article
Works matching IS 10769757 AND DT 2015 AND VI 54
Results: 5
1
2
Achieving Goals Quickly Using Real-time Search: Experimental Results in Video Games.
- Published in:
- Journal of Artificial Intelligence Research, 2015, v. 54, p. 123, doi. 10.1613/jair.4800
- By:
- Publication type:
- Article
3
Word vs. Class-Based Word Sense Disambiguation.
- Published in:
- Journal of Artificial Intelligence Research, 2015, v. 54, p. 83, doi. 10.1613/jair.4727
- By:
- Publication type:
- Article
4
Leveraging Online User Feedback to Improve Statistical Machine Translation.
- Published in:
- Journal of Artificial Intelligence Research, 2015, v. 54, p. 159, doi. 10.1613/jair.4716
- By:
- Publication type:
- Article
5
Knowledge-Based Textual Inference via Parse-Tree Transformations.
- Published in:
- Journal of Artificial Intelligence Research, 2015, v. 54, p. 1, doi. 10.1613/jair.4584
- By:
- Publication type:
- Article