Tag sat-solvers - Ceci est la page 7 - GeneraCodice

Comment modifier les solveurs SAT pour produire des réfutations de résolution pour des cas insatisfaisants?

https://www.generacodice.com/fr/articolo/1568116/comment-modifier-les-solveurs-sat-pour-produire-des-refutations-de-resolution-pour-des-cas-insatisfaisants
  sat-solvers  -  algorithms
cs.stackexchange cs.stackexchange

Minisat a-t-il besoin de temps exponentiel?

https://www.generacodice.com/fr/articolo/1567376/minisat-a-t-il-besoin-de-temps-exponentiel
  satisfiability  -  sat-solvers
cs.stackexchange cs.stackexchange

Pourquoi l'élimination littérale pure est-elle absente dans les algorithmes basés sur DPLL comme le paillette?

https://www.generacodice.com/fr/articolo/1548329/pourquoi-l-elimination-litterale-pure-est-elle-absente-dans-les-algorithmes-bases-sur-dpll-comme-le-paillette
  sat-solvers  -  algorithms
cs.stackexchange cs.stackexchange

Affectation pour rendre la formule insatisfaisable

https://www.generacodice.com/fr/articolo/1545936/affectation-pour-rendre-la-formule-insatisfaisable
  logic  -  satisfiability  -  sat-solvers
cs.stackexchange cs.stackexchange

CLAUSE ARRIVÉE CONFIGNATION CLAUTS CLARIFICATION DE RETOUR

https://www.generacodice.com/fr/articolo/1545835/clause-arrivee-confignation-clauts-clarification-de-retour
  machine-learning  -  satisfiability  -  backtracking  -  sat-solvers
cs.stackexchange cs.stackexchange

Pourquoi les solveurs SAT modernes n'utilisent-ils pas la notion de «clause surveillée», de la même manière qu'ils utilisent la notion de «littéral surveillé»?

https://www.generacodice.com/fr/articolo/1545147/pourquoi-les-solveurs-sat-modernes-n-utilisent-ils-pas-la-notion-de-clause-surveillee-de-la-meme-maniere-qu-ils-utilisent-la-notion-de-litteral-surveille
  satisfiability  -  constraint-satisfaction  -  sat-solvers
cs.stackexchange cs.stackexchange

Question de base sur le backjumping dans les solveurs SAT

https://www.generacodice.com/fr/articolo/1544979/question-de-base-sur-le-backjumping-dans-les-solveurs-sat
  satisfiability  -  backtracking  -  sat-solvers
cs.stackexchange cs.stackexchange

Y a-t-il des résolveurs SAT open source avec un algorithme d'extraction de noyau unis intégré?

https://www.generacodice.com/fr/articolo/1542540/y-a-t-il-des-resolveurs-sat-open-source-avec-un-algorithme-d-extraction-de-noyau-unis-integre
  satisfiability  -  sat-solvers  -  reference-request
cs.stackexchange cs.stackexchange

Comment la complexité des algorithmes pour résoudre le 3CNF (problème de décision) spécifié? [dupliquer

https://www.generacodice.com/fr/articolo/1538962/comment-la-complexite-des-algorithmes-pour-resoudre-le-3cnf-probleme-de-decision-specifie-dupliquer
  np-complete  -  satisfiability  -  sat-solvers
cs.stackexchange cs.stackexchange

Méthode courante pour résoudre des problèmes de satisfaction qui se trouvent en p

https://www.generacodice.com/fr/articolo/1534750/methode-courante-pour-resoudre-des-problemes-de-satisfaction-qui-se-trouvent-en-p
  complexity-theory  -  satisfiability  -  sat-solvers  -  polynomial-time
cs.stackexchange cs.stackexchange
Résultats trouvés: 102
scroll top