First-order Definable Retraction Problems for Posets and Reflexive Graphs.

Víctor Dalmau Andrei A. Krokhin Benoît Larose

Published in: J. Log. Comput. (2007)

Keyphrases

optimization problems
application domains
directed graph
solving problems
problems involving
neural network
decision problems
weighted graph