most citedA proof of the Delta Conjecture when

26 citations · 26 across the 2 of their papers we have counts for

collaborators

2 papers

math.CO2017★ 26 cited

A proof of the Delta Conjecture when

Adriano Garsia, Jim Haglund, Jeffrey B. Remmel +1

In [The Delta Conjecture, Trans. Amer. Math. Soc., to appear] Haglund, Remmel, Wilson introduce a conjecture which gives a combinatorial prediction for the result of applying a cer…

cs.AI2009

Guarded resolution for answer set programming

V. W. Marek, J. B. Remmel

We describe a variant of resolution rule of proof and show that it is complete for stable semantics of logic programs. We show applications of this result.