Problema_de_satisfacibilitat_booleanaProbl%C3%A9m_splnitelnosti_booleovsk%C3%A9_formuleErf%C3%BCllbarkeitsproblem_der_AussagenlogikBoolean_satisfiability_problemBulea_plenumebloproblemoProblema_de_satisfacibilidad_booleana%D9%85%D8%B3%D8%A6%D9%84%D9%87_%D8%B5%D8%AF%D9%82%E2%80%8C%D9%BE%D8%B0%DB%8C%D8%B1%DB%8C_%D8%AF%D9%88%D8%AF%D9%88%DB%8C%DB%8CProbl%C3%A8me_SAT%D7%91%D7%A2%D7%99%D7%99%D7%AA_%D7%94%D7%A1%D7%A4%D7%99%D7%A7%D7%95%D7%AASoddisfacibilit%C3%A0_booleana%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C%EC%B6%A9%EC%A1%B1_%EA%B0%80%EB%8A%A5%EC%84%B1_%EB%AC%B8%EC%A0%9CVervulbaarheidsprobleemProblem_spe%C5%82nialno%C5%9BciProblema_de_satisfatibilidade_booliana%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B0_%D0%B2%D1%8B%D0%BF%D0%BE%D0%BB%D0%BD%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D0%B8_%D0%B1%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D1%85_%D1%84%D0%BE%D1%80%D0%BC%D1%83%D0%BBSAT_problemBoolean_satisfiability_problem%D0%A1%D0%90%D0%A2_%D0%BF%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%E0%B8%9B%E0%B8%B1%E0%B8%8D%E0%B8%AB%E0%B8%B2%E0%B8%84%E0%B8%A7%E0%B8%B2%E0%B8%A1%E0%B8%AA%E0%B8%AD%E0%B8%94%E0%B8%84%E0%B8%A5%E0%B9%89%E0%B8%AD%E0%B8%87%E0%B9%81%E0%B8%9A%E0%B8%9A%E0%B8%9A%E0%B8%B9%E0%B8%A5%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B0_%D0%B7%D0%B4%D1%96%D0%B9%D1%81%D0%BD%D0%B5%D0%BD%D0%BD%D0%BE%D1%81%D1%82%D1%96_%D0%B1%D1%83%D0%BB%D1%8C%D0%BE%D0%B2%D0%B8%D1%85_%D1%84%D0%BE%D1%80%D0%BC%D1%83%D0%BBQ875276%E5%B8%83%E5%B0%94%E5%8F%AF%E6%BB%A1%E8%B6%B3%E6%80%A7%E9%97%AE%E9%A2%98
about
P279
description
problem of determining if a Boolean formula could be made true
@en
problém
@cs
name
Bulea plenumebloproblemo
@eo
Erfüllbarkeitsproblem der Aussagenlogik
@de
Problema de satisfacibilitat booleana
@ca
Problém splnitelnosti booleovské formule
@cs
SAT problem
@sh
SAT problem
@sr-el
SAT-probléma
@hu
Vervulbaarheidsprobleem
@nl
boolean satisfiability problem
@en
lauselogiikan toteutuvuusongelma
@fi
type
label
Bulea plenumebloproblemo
@eo
Erfüllbarkeitsproblem der Aussagenlogik
@de
Problema de satisfacibilitat booleana
@ca
Problém splnitelnosti booleovské formule
@cs
SAT problem
@sh
SAT problem
@sr-el
SAT-probléma
@hu
Vervulbaarheidsprobleem
@nl
boolean satisfiability problem
@en
lauselogiikan toteutuvuusongelma
@fi
altLabel
3-SAT
@ru
3SAT
@ru
Boolean satisfiability problem
@it
Boolean satisfiability problem
@th
Bulea problemo pri kontentigebleco
@eo
Celinho
@pt
Erfüllbarkeitsproblem
@de
Problem sat
@pl
Problem spełnialności formuł logicznych
@pl
Problema de satisfabilidad booleana
@es
prefLabel
Bulea plenumebloproblemo
@eo
Erfüllbarkeitsproblem der Aussagenlogik
@de
Problema de satisfacibilitat booleana
@ca
Problém splnitelnosti booleovské formule
@cs
SAT problem
@sh
SAT problem
@sr-el
SAT-probléma
@hu
Vervulbaarheidsprobleem
@nl
boolean satisfiability problem
@en
lauselogiikan toteutuvuusongelma
@fi
P6366
P646
P1482
P373
Boolean satisfiability problem