Integrating Simplex with Tableaux.

Guillaume Bury David Delahaye

Published in: TABLEAUX (2015)

Keyphrases

data sets
information systems
linear programming
modal logic
decision procedures
simplex method
simplex algorithm
database
real world
search engine
multimedia
similarity measure
object oriented
automated reasoning
star shaped