iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/corr/abs-0912-4941.xml
Antonis Achilleos Michael Lampis Valia Mitsou Parameterized Modal Satisfiability http://arxiv.org/abs/0912.4941 2009 CoRR abs/0912.4941 db/journals/corr/corr0912.html#abs-0912-4941