Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > AUTHORS > MD LUTFAR RAHMAN:
All reports by Author Md Lutfar Rahman:

TR19-160 | 10th November 2019
Md Lutfar Rahman, Thomas Watson

Tractable Unordered 3-CNF Games

The classic TQBF problem can be viewed as a game in which two players alternate turns assigning truth values to a CNF formula's variables in a prescribed order, and the winner is determined by whether the CNF gets satisfied. The complexity of deciding which player has a winning strategy in ... more >>>


TR18-039 | 23rd February 2018
Md Lutfar Rahman, Thomas Watson

Complexity of Unordered CNF Games

The classic TQBF problem is to determine who has a winning strategy in a game played on a given CNF formula, where the two players alternate turns picking truth values for the variables in a given order, and the winner is determined by whether the CNF gets satisfied. We study ... more >>>




ISSN 1433-8092 | Imprint