How would you like to use PONS.com?

Already PONS Pur or PONS Translate Pro subscriber?

PONS with ads

Go to PONS.com as usual with ad tracking and advertisements.

You can find details of tracking in Information about data protection and under Privacy settings.

PONS Pur

without advertising by third parties

without ad tracking

Subscribe now

If you already have a user account for PONS.com, then you can subscribe to PONS Pur .

We process your data to deliver content or advertisements and measure the delivery of such content or advertisements to extract insights about our website. We share this information with our partners on the basis of consent and legitimate interest. You may exercise your right to consent or object to a legitimate interest, based on a specific purpose below or at a partner level in the link under each purpose. These choices will be signaled to our vendors participating in the Transparency and Consent Framework.

Cookies, device or similar online identifiers (e.g. login-based identifiers, randomly assigned identifiers, network based identifiers) together with other information (e.g. browser type and information, language, screen size, supported technologies etc.) can be stored or read on your device to recognise it each time it connects to an app or to a website, for one or several of the purposes presented here.

Advertising and content can be personalised based on your profile. Your activity on this service can be used to build or improve a profile about you for personalised advertising and content. Advertising and content performance can be measured. Reports can be generated based on your activity and those of others. Your activity on this service can help develop and improve products and services.

Legal noticeData protectionPrivacy settings
行期在即
Erfüllbarkeitsproblem der Aussagenlogik

in the PONS Dictionary

OpenDict entry

Boolean satisfiability problem N

Boolean satisfiability problem COMPUT
Erfüllbarkeitsproblem der Aussagenlogik nt
in the PONS Dictionary

I. Bool·ean [ˈbu:liən] ADJ attr, inv MATH

Boolean algebra
boolesche Algebra
Boolean search
boolesche Suche

II. Bool·ean [ˈbu:liən] N

simple Boolean
einfacher boolescher Ausdruck

I. prob·lem [ˈprɒbləm, Am ˈprɑ:b-] N

1. problem (difficulty):

problem
Schwierigkeit f <-, -en>
problem
Problem nt <-s, -e>
it's not my problem!
das ist [doch] nicht mein Problem!
and you think you've got problems!
deine Probleme möchte ich haben!
stay out of my problems!
halte dich aus meinen Angelegenheiten raus!
he had no problem in getting the job
er bekam die Arbeit ohne Probleme
inf no problem (sure)
kein Problem
no problem (don't mention it)
keine Ursache
what's your problem?
was ist [mit dir] los?
family/financial/personal problems
familiäre/finanzielle/persönliche Probleme
main [or principle]problem
Hauptproblem nt <-s, -e>
to face a problem
vor einem Problem stehen
to get involved in sb's problems
sich acc in jds Probleme einmischen
to have problems at home/school/work
daheim/in der Schule/bei der Arbeit Probleme haben
to have a problem with sb/sth
mit jdm/etw ein Problem haben
to pose [or present] a problem [for sb]
[für jdn] ein Problem sein
to solve/tackle a problem
ein Problem lösen/angehen [o. in Angriff nehmen]

2. problem (task):

problem
Aufgabe f <-, -n>
problem
Problem nt <-s, -e>
that's her problem!
das ist ihre Sache!

3. problem MED:

problem
Problem nt <-s, -e>
drinking/drug/weight problem
Alkohol-/Drogen-/Gewichtsproblem nt
to have problems with drinking
ein Alkoholproblem haben
to have problems with drinking
[zu viel] trinken
to have a drugs problem [or a problem with drugs]
ein Drogenproblem haben
health problems
gesundheitliche Probleme

4. problem MATH:

problem
[Rechen]aufgabe f
problem
Problem nt <-s, -e>

II. prob·lem [ˈprɒbləm, Am ˈprɑ:b-] N modifier

problem (area, family, play):

problem
Problem-
problem day
schwerer Tag

Klett Biology Glossary

problem N

problem
Problem(stellung)

PONS OpenDict

Would you like to add a word, a phrase or a translation?

We'd love you to send us a new entry for PONS OpenDict. The submitted suggestions are reviewed by the PONS editorial team and incorporated into the results accordingly.

Add entry
No example sentences available

No example sentences available

Try using a different entry.

Monolingual examples (not verified by PONS Editors)

There are several special cases of the Boolean satisfiability problem in which the formulas are required to have a particular structure.
en.wikipedia.org
The approach to planning that converts planning problems into Boolean satisfiability problems is called satplan.
en.wikipedia.org
This is closely related to the Boolean satisfiability problem, which asks whether there exists "at least one" such assignment.
en.wikipedia.org
There is also a logical content to elimination theory, as seen in the Boolean satisfiability problem.
en.wikipedia.org

Browse the dictionary