Travelled to:
1 × Japan
Collaborated with:
M.Gelfond
Talks about:
constraint (1) techniqu (1) reason (1) integr (1) answer (1) solv (1) set (1)
Person: Veena S. Mellarkod
DBLP: Mellarkod:Veena_S=
Contributed to:
Wrote 1 papers:
- FLOPS-2008-MellarkodG #constraints #reasoning #set #theorem proving
- Integrating Answer Set Reasoning with Constraint Solving Techniques (VSM, MG), pp. 15–31.