Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 Linear-time algorithms for testing the satisfyability of propositional Horn formulae

著者
DOWLING W. F.
雑誌
J. Log. Program
巻号頁・発行日
vol.3, pp.267-284, 1984
被引用文献数
13 617

言及状況

外部データベース (DOI)

Twitter (1 users, 4 posts, 0 favorites)

こんな論文どうですか？ Linear-time algorithms for testing the satisfyability of propositional(DOWLING W. F.),19 https://t.co/mNvubeWixo
こんな論文どうですか？ Linear-time algorithms for testing the satisfyability of propositional(DOWLING W. F.),19 https://t.co/mNvubeE9jg
こんな論文どうですか？ Linear-time algorithms for testing the satisfyability of propositional(DOWLING W. F.),19 https://t.co/mNvubeE9jg
こんな論文どうですか？ Linear-time algorithms for testing the satisfyability of propositional(DOWLING W. F.),19 https://t.co/mNvubeE9jg

収集済み URL リスト