Many-valued logic and mixed integer programming

@article{Hhnle1994ManyvaluedLA,
  title={Many-valued logic and mixed integer programming},
  author={Reiner H{\"a}hnle},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={1994},
  volume={12},
  pages={231-263}
}
We generalize prepositional semantic tableaux for classical and many-valued logics toconstraint tableaux. We show that this technique is a generalization of the standard translation from CNF formulas into integer programming. The main advantages are (i) a relatively efficient satisfiability checking procedure for classical, finitely-valued and, for the… CONTINUE READING

7 Figures & Tables

Topics

Statistics

051015'96'98'00'02'04'06'08'10'12'14'16'18
Citations per Year

77 Citations

Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.