Fast Set Bounds Propagation Using a BDD-SAT Hybrid.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 307, doi. 10.1613/jair.3014
- By:
- Publication type:
- Article
Works matching IS 10769757 AND DT 2010 AND VI 38
Results: 8
1
2
Developing Approaches for Solving a Telecommunications Feature Subscription Problem.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 271
- By:
- Publication type:
- Article
3
A Survey of Paraphrasing and Textual Entailment Methods.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 135, doi. 10.1613/jair.2985
- By:
- Publication type:
- Article
4
Grounding FO and FO(ID) with Bounds.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 223, doi. 10.1613/jair.2980
- By:
- Publication type:
- Article
5
Change in Abstract Argumentation Frameworks: Adding an Argument.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 49, doi. 10.1613/jair.2965
- By:
- Publication type:
- Article
6
Using Local Alignments for Relation Recognition.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 1, doi. 10.1613/jair.2964
- By:
- Publication type:
- Article
7
Constructing Reference Sets from Unstructured, Ungrammatical Text.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 189, doi. 10.1613/jair.2937
- By:
- Publication type:
- Article
8
BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 85, doi. 10.1613/jair.2849
- By:
- Publication type:
- Article