Author:
Kimura Kei,Makino Kazuhisa
Funder
Japan Society for the Promotion of Science
Exploratory Research for Advanced Technology
Core Research for Evolutional Science and Technology
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,General Engineering
Reference15 articles.
1. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. IOS Press, Amsterdam (2009)
2. Blair, C., Jeroslow, R., Lowe, J.: Some results and experiments in programming techniques for propositional logic. Comput. Oper. Res. 13, 633–645 (1986)
3. Boros, E., Crama, Y., Hammer, P.L.: Polynomial-time inference of all valid implications for Horn and related formulae. Ann. Math. Artif. Intell. 1, 21–32 (1990)
4. Chandru, V., Hooker, J.: Optimization Methods for Logical Inference. Wiley-Interscience, New York (1999)
5. Crama, Y., Hammer, P.L.: Boolean Functions: Theory, Algorithms, and Applications. Cambridge University Press, New York (2011)