ジョージ・ロゲマン

ジョージ・ワール・ロゲマン（1938年1月31日、ミルウォーキー生まれ- 2012年6月5日、ハートフォード没）^{[ 2 ]}は、アメリカの数学者、コンピュータ科学者。ブール充足可能性問題を解くためのデイビス・パトナム・ロゲマン・ラブランドアルゴリズムで有名になった。^{[ 3 ]}また、コンピュータ音楽の分野にも貢献した。^{[ 2 ] [ 4 ]}