Counting for Satisfiability by Inverting Resolution.
- Published in:
- Artificial Intelligence Review, 2004, v. 22, n. 4, p. 339, doi. 10.1007/s10462-004-4329-2
- By:
- Publication type:
- Article
Works matching IS 02692821 AND DT 2004 AND VI 22 AND IP 4
Results: 3
1
2
Temporal Properties of Repetitive Entities.
- Published in:
- Artificial Intelligence Review, 2004, v. 22, n. 4, p. 297, doi. 10.1007/s10462-004-4331-8
- By:
- Publication type:
- Article
3
Critic Systems--Towards Human--Computer CollaborativeProblem Solving.
- Published in:
- Artificial Intelligence Review, 2004, v. 22, n. 4, p. 271, doi. 10.1007/s10462-004-4330-9
- By:
- Publication type:
- Article