First-Order Definable Retraction Problems for Posets and Reflexive Graph.

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

Published in: LICS (2004)

Keyphrases

optimization problems
first order logic
higher order
structured data
graph structure
graph theoretic
data sets
neural network
description logics
graphical models
np complete
random walk
graph theory
directed acyclic graph
graph model
polynomial time complexity