49 citations · 223 across the 35 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.LO2015★ 5 cited
On the Axiomatizability of Impossible Futures
Taolue Chen, Wan Fokkink, Rob van Glabbeek
A general method is established to derive a ground-complete axiomatization for a weak semantics from such an axiomatization for its concrete counterpart, in the context of the proc…