Rehan Abdul Aziz

According to our database, Rehan Abdul Aziz authored at least 7 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Projected Model Counting.

Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey

CoRR, 2015

#∃SAT: Projected Model Counting.

Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Stable Model Counting and Its Application in Probabilistic Logic Programming.

Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Grounding Bound Founded Answer Set Programs.

Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey

CoRR, 2014

Bound Founded Answer Set Programming.

Rehan Abdul Aziz

CoRR, 2014

2013

Stable model semantics for founded bounds.

Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey

Theory Pract. Log. Program., 2013

2011

Distributed Deadlock Handling for Resource Allocation in Smart Spaces.

Rehan Abdul Aziz, Tomi Janhunen, Vesa Luukkala

Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011