Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
satisfiability
Definitie
Vertaling van "satisfiability" in Nederlands
Definitie NEW
vervulbaarheidsprobleem
satisfiability
yices2: satisfiability modulo theory solver by SRI, requested 1076 days ago.
yices2: satisfiability modulo theory solver by SRI, 1076 dagen geleden aangevraagd.
Journal on Satisfiability, Boolean Modeling and Computation (JSBMC) publishing high quality original research papers and survey papers which evidently contribute to deeper insight.
Journal on Satisfiability, Boolean Modeling and Computation (JSBMC) is een online publicatie van originele documenten en onderzoeken van hoge kwaliteit.
The Boolean satisfiability problem is a kind of problem. It is from math-based logic. In propositional logic, a formula is satisfiable if the variables it uses can be given values so that it becomes true.
In de klassieke logica is een propositie vervulbaar als er een toekenning, waar of onwaar, bestaat van de atomaire formules in die propositie zodat de propositie waar is.
The proof shows that any problem in NP can be reduced in polynomial time (in fact, logarithmic space suffices) to an instance of the Boolean satisfiability problem.
NP-volledige problemen zijn problemen die in de complexiteitsklasse NP liggen en waarvoor bovendien geldt, dat ieder probleem in NP in polynomiale tijd ertoe gereduceerd kan worden.
In computer science, Putnam is known for the Davis-Putnam algorithm for the Boolean satisfiability problem (SAT), developed with Martin Davis in 1960.
Hiermee was aangetoond dat Putnamalgoritme voor het booleaanse vervulbaarheidsprobleem, dat hij in 1960 samen met Martin Davis ontwikkelde.
In computer science, Putnam is known for the Davis-Putnam algorithm for the Boolean satisfiability problem (SAT), developed with Martin Davis in 1960.
In de computerwetenschap is Putnam bekend door zijn zogenaamde Davis-Putnamalgoritme voor het booleaanse vervulbaarheidsprobleem, dat hij in 1960 samen met Martin Davis ontwikkelde.
Main article: Horn-satisfiability The problem of deciding the satisfiability of a given conjunction of Horn clauses is called Horn-satisfiability, or HORN-SAT.
Wanneer men de vervulbaarheid van een conjunctie van Horn-clausules onderzoekt, spreekt men van het probleem HORNSAT (Horn-vervulbaarheid).
Satisfiability of the formula is detected either when all variables are assigned without generating the empty clause, or, in modern implementations, if all clauses are satisfied.
Als het DPLL-algoritme erin slaagt om alle clausules weg te halen en de lege formule over te houden dan is de formule vervulbaar.
Synoniemen voor satisfiability in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 18 ms.
