韓國主要的搜索引擎包括以下幾個：

1. Naver（???）：這是韓國最大的搜索引擎和門戶網(wǎng)站，也是世界第五大搜索引擎網(wǎng)站（僅次于谷歌、雅虎、百度和必應(yīng)）。Naver提供各種服務(wù)，包括搜索、新聞、博客、視頻、圖片、財經(jīng)等，并以其獨特的知識問答功能“知識iN”而聞名。Naver在韓國市場具有極高的份額，是韓國人最常用的搜索引擎之一。

2. Daum（??）：這是韓國第二大門戶網(wǎng)站和搜索引擎，提供與Naver類似的各種服務(wù)，包括搜索、新聞、社區(qū)、即時通訊等。Daum在韓國也擁有大量的用戶。

3. Google Korea（?? ???）：雖然谷歌在全球范圍內(nèi)都是最受歡迎的搜索引擎之一，但在韓國市場的份額相對較小。不過，仍然有許多韓國人使用谷歌進行搜索。

4. Bing Korea（????）：Bing是微軟的搜索引擎，在韓國的市場份額也較小，但提供了各種搜索功能和本地化服務(wù)。

至于韓國人是否使用百度，雖然百度是全球最大的中文搜索引擎，但在韓國市場的份額非常小。由于韓國有自己的本土搜索引擎，如Naver和Daum，它們提供了豐富的本地內(nèi)容和服務(wù)，因此韓國人更傾向于使用這些本土搜索引擎。

總的來說，韓國人主要使用Naver、Daum和Google Korea等搜索引擎進行搜索。