Eternal vertex cover problem is a variant of the classical vertex cover
...
An operating system project suitable for undergraduate computing/electri...
We derive a local criterion for a plane near-triangulated graph to be
pe...
The problem of determining Herbrand equivalence of terms at each program...