Login / Signup
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
Davide Bresolin
Angelo Montanari
Pietro Sala
Guido Sciavicco
Published in:
Theor. Comput. Sci. (2013)
Keyphrases
</>
decision procedures
modal logic
real numbers
theorem proving
automated reasoning
artificial intelligence
optimal solution
search algorithm
state space
conjunctive queries
message passing
unions of conjunctive queries
quantified boolean formulas