6 citations · 16 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.DM2015
The packing chromatic number of the infinite square lattice is between 13 and 15
Barnaby Martin, Franco Raimondi, Taolue Chen +1
Using a SAT-solver on top of a partial previously-known solution we improve the upper bound of the packing chromatic number of the infinite square lattice from 17 to 15. We discuss…
cs.MA2015★ 2 cited
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources
Natasha Alechina, Brian Logan, Hoang Nga Nguyen +1
Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resour…