Travelled to:1 × USA
Collaborated with:G.Chu P.J.Stuckey C.J.Muise
Talks about:model (2) project (1) semant (1) stabl (1) found (1) count (1) bound (1) sat (1)
Person: Rehan Abdul Aziz
DBLP: Aziz:Rehan_Abdul
Contributed to:
2015
2013Wrote 2 papers:
- SAT-2015-AzizCMS
- #∃SAT: Projected Model Counting (RAA, GC, CJM, PJS), pp. 121–137.
- ICLP-J-2013-AzizCS #bound #semantics
- Stable model semantics for founded bounds (RAA, GC, PJS), pp. 517–532.