Boolean satisfiability problem

Boolean satisfiability problem - problem of determining if a Boolean formula could be made true. Article "Boolean satisfiability problem" in English Wikipedia has 53.9 points for quality (as of July 1, 2025). The article contains 37 references and 23 sections.

This article has the best quality in German Wikipedia. However, this article is the most popular in English version.

In June 2025 the article "Boolean satisfiability problem" was edited by 7 authors in English Wikipedia and written by 10 authors in all languages.

Since the creation of article "Boolean satisfiability problem", its content was written by 291 registered users of English Wikipedia and edited by 800 registered Wikipedia users in all languages.

The article is cited 296 times in English Wikipedia and cited 1176 times in all languages.

The highest Authors Interest rank from 2001:

• Local (English): #1198 in December 2001
• Global: #1287 in December 2001

The highest popularity rank from 2008:

• Local (English): #33272 in December 2014
• Global: #45760 in January 2011

There are 25 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

#	Language	Quality grade	Quality score
1	German (de) Erfüllbarkeitsproblem der Aussagenlogik		65.1413
2	Hungarian (hu) Logikai kielégítési probléma		55.0856
3	English (en) Boolean satisfiability problem		53.8836
4	French (fr) Problème SAT		38.3145
5	Hebrew (he) בעיית הספיקות		28.8351
6	Catalan (ca) Problema de satisfacibilitat booleana		20.7056
7	Dutch (nl) Vervulbaarheidsprobleem		20.1619
8	Persian (fa) مسئله صدق‌پذیری بولی		17.9292
9	Portuguese (pt) Problema de satisfatibilidade booliana		15.7065
10	Finnish (fi) Lauselogiikan toteutuvuusongelma		14.387

More...

The following table shows the most popular language versions of the article.

The most popular language versions of the article "Boolean satisfiability problem" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Boolean satisfiability problem		3 459 049
2	German (de) Erfüllbarkeitsproblem der Aussagenlogik		294 386
3	Japanese (ja) 充足可能性問題		223 129
4	French (fr) Problème SAT		222 166
5	Russian (ru) Задача выполнимости булевых формул		162 425
6	Chinese (zh) 布尔可满足性问题		128 814
7	Polish (pl) Problem spełnialności		110 451
8	Spanish (es) Problema de satisfacibilidad booleana		110 388
9	Italian (it) Soddisfacibilità booleana		81 490
10	Hebrew (he) בעיית הספיקות		69 851

More...

The following table shows the language versions of the article with the highest popularity in the last month.

The most popular language versions of the article "Boolean satisfiability problem" in June 2025

#	Language	Popularity award	Relative popularity
1	English (en) Boolean satisfiability problem		15 012
2	Japanese (ja) 充足可能性問題		845
3	German (de) Erfüllbarkeitsproblem der Aussagenlogik		709
4	French (fr) Problème SAT		680
5	Russian (ru) Задача выполнимости булевых формул		503
6	Simple English (simple) Boolean satisfiability problem		381
7	Chinese (zh) 布尔可满足性问题		337
8	Polish (pl) Problem spełnialności		334
9	Spanish (es) Problema de satisfacibilidad booleana		332
10	Hebrew (he) בעיית הספיקות		291

More...

The following table shows the language versions of the article with the highest Authors’ Interest.

Language versions of the article "Boolean satisfiability problem" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.

#	Language	AI award	Relative AI
1	English (en) Boolean satisfiability problem		291
2	French (fr) Problème SAT		110
3	German (de) Erfüllbarkeitsproblem der Aussagenlogik		79
4	Italian (it) Soddisfacibilità booleana		46
5	Russian (ru) Задача выполнимости булевых формул		36
6	Hebrew (he) בעיית הספיקות		30
7	Spanish (es) Problema de satisfacibilidad booleana		25
8	Portuguese (pt) Problema de satisfatibilidade booliana		25
9	Japanese (ja) 充足可能性問題		24
10	Polish (pl) Problem spełnialności		23

More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

Language versions of the article "Boolean satisfiability problem" with the highest AI in June 2025

#	Language	AI award	Relative AI
1	English (en) Boolean satisfiability problem		7
2	Arabic (ar) مسألة استيفاء منطقية		2
3	Portuguese (pt) Problema de satisfatibilidade booliana		1
4	Catalan (ca) Problema de satisfacibilitat booleana		0
5	Czech (cs) Problém splnitelnosti booleovské formule		0
6	German (de) Erfüllbarkeitsproblem der Aussagenlogik		0
7	Esperanto (eo) Bulea plenumebloproblemo		0
8	Spanish (es) Problema de satisfacibilidad booleana		0
9	Persian (fa) مسئله صدق‌پذیری بولی		0
10	Finnish (fi) Lauselogiikan toteutuvuusongelma		0

More...

The following table shows the language versions of the article with the highest number of citations.

Language versions of the article "Boolean satisfiability problem" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	English (en) Boolean satisfiability problem		296
2	Japanese (ja) 充足可能性問題		121
3	French (fr) Problème SAT		95
4	Chinese (zh) 布尔可满足性问题		93
5	German (de) Erfüllbarkeitsproblem der Aussagenlogik		86
6	Russian (ru) Задача выполнимости булевых формул		62
7	Portuguese (pt) Problema de satisfatibilidade booliana		57
8	Spanish (es) Problema de satisfacibilidad booleana		55
9	Italian (it) Soddisfacibilità booleana		46
10	Ukrainian (uk) Задача здійсненності булевих формул		45

More...

#	Language	Value
ar	Arabic مسألة استيفاء منطقية
ca	Catalan Problema de satisfacibilitat booleana
cs	Czech Problém splnitelnosti booleovské formule
de	German Erfüllbarkeitsproblem der Aussagenlogik
en	English Boolean satisfiability problem
eo	Esperanto Bulea plenumebloproblemo
es	Spanish Problema de satisfacibilidad booleana
fa	Persian مسئله صدق‌پذیری بولی
fi	Finnish Lauselogiikan toteutuvuusongelma
fr	French Problème SAT
he	Hebrew בעיית הספיקות
hu	Hungarian Logikai kielégítési probléma
it	Italian Soddisfacibilità booleana
ja	Japanese 充足可能性問題
ko	Korean 충족 가능성 문제
nl	Dutch Vervulbaarheidsprobleem
pl	Polish Problem spełnialności
pt	Portuguese Problema de satisfatibilidade booliana
ru	Russian Задача выполнимости булевых формул
sh	Serbo-Croatian SAT problem
simple	Simple English Boolean satisfiability problem
sr	Serbian САТ проблем
th	Thai ปัญหาความสอดคล้องแบบบูล
uk	Ukrainian Задача здійсненності булевих формул
zh	Chinese 布尔可满足性问题

Best Rank

English: #33272 12.2014

Global: #45760 01.2011

Best Rank

English: #1198 12.2001

Global: #1287 12.2001

On 12 August 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, deaths in 2025, Taylor Swift, Miguel Uribe Turbay, 2025–26 UEFA Champions League.

In English Wikipedia the most popular articles on that day were: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information