Le Problème SAT (pour Satisfiability) est un célèbre problème de décision. Le but de SAT est de savoir s'il existe une solution ou non à une série d'équations logiques données. Plus formellement, SAT consiste à trouver une affectation booléenne rendant une formule donnée logiquement vraie. On peu...

Dans le cadre du projet de langage C, nous avons étudié le problème SAT et realisé un programme de résolution de celui-ci. À travers les questions qui nous étaient proposées, nous avons pu remettre en œuvre l'algorithme DPLL (Davis, Putnam, Logemann, Loveland) en employant une structure de données q...

This small project is an exploration of novel ways for measuring the search trees of various SAT solver algorithms. It is intended that the metrics developed and implemented here should assist in the assessment of sequential SAT algorithms for use in distributed SAT solvers.

TOEFL教学资料 SAT教学资料

http://evanescent.googlecode.com/files/evanescent-logo.png =Overview= evanescent is a collection of tools for *reasoning in propositional logic* and provides implementations of inference engines in the [http://www.digitalmars.com/d/ D programming language]. The project is meant to be * ...

http://www.inf.unisi.ch/postdoc/bruttomesso/imgs/small_header.gif =Intro= This page is the SVN *source code* repository for OpenSMT (click Source tab). Quick tip: sources can be download with `svn checkout http://opensmt.googlecode.com/svn/trunk/ opensmt`. Also you need t...

Genetic SAT Solver in Java

CSIsat is an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving the arithmetic part with the efficiency of a SAT solver to reason...

Emustru is an open source Web-based English tutor. It teaches English through a series of personalized dynamic quizzes. The primary features of Emustru are - 1. Spelling : An adaptable spelling quiz with over 8000 popular English words that appear in exams such as the SAT based on FreeTTS text t...

The Subversion Administration Tool (SAT) will be a simple J2EE based which will enable the subversion administrator to perform the following administrative tasks for the subversion server. 1) Create new subversion repositories.<br> 2) Manage authorization for the repositories through authz file.