Search dblp for Publications

• > Home > Search

@article{DBLP:journals/corr/abs-1811-00796,
  author       = {Mitsuru Kusumoto and
                  Keisuke Yahata and
                  Masahiro Sakai},
  title        = {Automated Theorem Proving in Intuitionistic Propositional Logic by
                  Deep Reinforcement Learning},
  journal      = {CoRR},
  volume       = {abs/1811.00796},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.00796},
  eprinttype    = {arXiv},
  eprint       = {1811.00796},
  timestamp    = {Thu, 22 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-00796.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dna/LeePJCZ02,
  author       = {In{-}Hee Lee and
                  Ji{-}Yoon Park and
                  Hae{-}Man Jang and
                  Young{-}Gyu Chai and
                  Byoung{-}Tak Zhang},
  editor       = {Masami Hagiya and
                  Azuma Ohuchi},
  title        = {{DNA} Implementation of Theorem Proving with Resolution Refutation
                  in Propositional Logic},
  booktitle    = {{DNA} Computing, 8th International Workshop on {DNA} Based Computers,
                  DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2568},
  pages        = {156--167},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36440-4\_14},
  doi          = {10.1007/3-540-36440-4\_14},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/LeePJCZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Okushi99,
  author       = {Fumiaki Okushi},
  title        = {Parallel cooperative propositional theorem proving},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {26},
  number       = {1-4},
  pages        = {59--85},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018946526109},
  doi          = {10.1023/A:1018946526109},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Okushi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dimacs/PlaistedA96,
  author       = {David A. Plaisted and
                  Geoffrey D. Alexander},
  editor       = {Ding{-}Zhu Du and
                  Jun Gu and
                  Panos M. Pardalos},
  title        = {Propositional search efficiency and first-order theorem proving},
  booktitle    = {Satisfiability Problem: Theory and Applications, Proceedings of a
                  {DIMACS} Workshop, Piscataway, New Jersey, USA, March 11-13, 1996},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {35},
  pages        = {335--350},
  publisher    = {{DIMACS/AMS}},
  year         = {1996},
  url          = {https://doi.org/10.1090/dimacs/035/08},
  doi          = {10.1090/DIMACS/035/08},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/PlaistedA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isci/PradeepM95,
  author       = {B. Pradeep and
                  C. Siva Ram Murthy},
  title        = {A Constant Time Algorithm for Theorem Proving in Propositional Logic
                  on Reconfigurable Meshes},
  journal      = {Inf. Sci.},
  volume       = {85},
  number       = {1-3},
  pages        = {175--184},
  year         = {1995},
  url          = {https://doi.org/10.1016/0020-0255(95)00026-L},
  doi          = {10.1016/0020-0255(95)00026-L},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/PradeepM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tkde/FangC92,
  author       = {Ming{-}Yi Fang and
                  Wen{-}Tsuen Chen},
  title        = {Vectorization of a Generalized Procedure for Theorem Proving in Propositional
                  Logic on Vector Computers},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {4},
  number       = {5},
  pages        = {475--486},
  year         = {1992},
  url          = {https://doi.org/10.1109/69.166989},
  doi          = {10.1109/69.166989},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/FangC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pc/ChenF91,
  author       = {Wen{-}Tsuen Chen and
                  Ming{-}Yi Fang},
  title        = {An efficient procedure for theorem proving in propositional logic
                  on vector computers},
  journal      = {Parallel Comput.},
  volume       = {17},
  number       = {9},
  pages        = {983--995},
  year         = {1991},
  url          = {https://doi.org/10.1016/S0167-8191(05)80043-2},
  doi          = {10.1016/S0167-8191(05)80043-2},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/ChenF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpp/ChenF90,
  author       = {Wen{-}Tsuen Chen and
                  Ming{-}Yi Fang},
  editor       = {David A. Padua},
  title        = {Vectorization Techniques for Theorem Proving in Propositional Logic},
  booktitle    = {Proceedings of the 1990 International Conference on Parallel Processing,
                  Urbana-Champaign, IL, USA, August 1990. Volume 2: Software},
  pages        = {229--235},
  publisher    = {Pennsylvania State University Press},
  year         = {1990},
  timestamp    = {Mon, 15 Jun 2015 19:00:07 +0200},
  biburl       = {https://dblp.org/rec/conf/icpp/ChenF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sc/ChenF90,
  author       = {Wen{-}Tsuen Chen and
                  Ming{-}Yi Fang},
  editor       = {Joanne L. Martin and
                  Daniel V. Pryor and
                  Gary R. Montry},
  title        = {Theorem proving in propositional logic on vector computers using a
                  generalized Davis-Putnam procedure},
  booktitle    = {Proceedings Supercomputing '90, New York, NY, USA, November 12-16,
                  1990},
  pages        = {658--665},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/SUPERC.1990.130083},
  doi          = {10.1109/SUPERC.1990.130083},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/ChenF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Galil75,
  author       = {Zvi Galil},
  title        = {The Complexity of Resolution Procedures for Theorem Proving in the
                  Propositional Calculus},
  school       = {Cornell University, {USA}},
  year         = {1975},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Galil75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}