(redirected from Satisfiability)
Also found in: Dictionary, Thesaurus, Legal, Wikipedia.
Related to Satisfiability: Satisfiability problem, Conjunctive normal form
SATScholastic Assessment Test (formerly Scholastic Aptitude Test)
SATSorry About That
SATScience and Technology
SATSick and Tired
SATSaturn (Sega video game console)
SATStanford Achievement Test
SATScholastic Aptitude Test (now Scholastic Assessment Test)
SATStudent Assistance Team
SATSystems Approach to Training
SATSubstance Abuse Treatment
SATSatisfiability (testing)
SATSociété des Arts Technologiques
SATState Administration of Taxation (China)
SATSpare A Thought
SATServicio de Administración Tributaria (Spanish, Mexico)
SATScholastic Achievement Test
SATSuperintendencia de Administración Tributaria (Guatemala)
SATSIM Application Toolkit (GSM)
SATSelf-Assessment Tool
SATSennacieca Asocio Tutmonda
SATSupply Air Temperature
SATInternational Conference on Theory and Applications of Satisfiability Testing
SATSinapi Aba Trust (Ghana microfinance)
SATSemi-Arid Tropics
SATState Administrative Tribunal (Australia)
SATSite Acceptance Testing
SATSecurity Awareness Training
SATSurveys in Approximation Theory
SATSant Andreu Teatre (French)
SATSimplified Acquisition Threshold
SATStudent Athletic Trainer (high school)
SATSystematic Approach to Training
SATboolean SATisfiability problem
SATSoil Aquifer Treatment (groundwater recharge)
SATSocietà Degli Alpinisti Tridentini (Mountaineering and Climbing Federation Trento, Italy)
SATSocieta Degli Alpinisti Tridentini (Italian: Society of Tridentini Mountain Climbers)
SATSpecial Assault Team
SATSystem Acceptance Testing
SATSecurity Alert Team
SATSex Aptitude Test
SATService and Timing (code)
SATStatic Air Temperature
SATStudents Against Testing
SATSystem Approach to Training
SATSindicato Argentino de Television (Spanish)
SATSulfuric Acid Trihydrate
SATSupervisory Audio Tone (cellular technology)
SATSoftware Analysis Team
SATSecurity Audit Trail
SATStandard Assessment Task (British)
SATSafety Acro Team (paragliding aerobatics)
SATSecurity Assistance Training
SATSystem Analysis Tool
SATSpermidine/Spermine N(1)-Acetyltransferase
SATSmall Arms Transmitter (Army)
SATSpeaker Adaptive Training
SATSub-Acute Thromboses
SATSprite Animation Toolkit
SATSpeech Awareness Threshold (audiology)
SATSeparating Axis Theorem (computer graphics, collision detection)
SATSATA Air Acores, Portugal (ICAO code)
SATSea Acceptance Test
SATSingles All Together (Edina, MN)
SATSmall Application Toolkit
SATSignal Amplification Technology
SATSecurity Assistance Team
SATScanning Acoustic Tomography
SATSouthwestern Association of Toxicologists
SATStandard AUTODIN Terminal
SATSource Address Table (switches and routers)
SATSoftware Acceptance Test
SATSystems Acceptance Test
SATSurgery, Anesthesiology and Trauma
SATServices d'Aide Temporaire (French)
SATSaturday Afternoon Test
SATScience Architecture Team
SATSite Assessment Team
SATSpanish Announce Team (wrestling tag-team)
SATSynthetic Aperture Telescope
SATSurface Attack Tactics (military aviation)
SATSan Antonio, TX, USA - San Antonio International (Airport Code)
SATState Action Team (California DECA)
SATStewartry Archaeological Trust
SATSystem Access Terminal
SATStupid Ass Test
SATStationary Armor Target (US Army Training Circular TC-25-8)
SATSystem and Acceptance Testing
SATStructural Analysis Team
SATSubmarine Advisory Team
SATSu Alti Taarruz (Turkish Special Forces)
SATSubstance Abuse Technician
SATSuspended Acoustical Tile
SATSecurity Action Team
SATSunk As Target
SATSystem Acceptability Testing
SATSupport and Advice Team
SATSelf Assessment Technical (UK: Inland Revenue)
SATSemi-Automatic Trim
SATSelected At Test (electronic assembly)
SATSingle Access Transmitter
SATSituation Awareness Terminal
SATSerial Assignment Table
SATStatutory Assessment Test (UK education)
SATSustained Airborne Training
SATSociedad Argentina de Transplantes (Spanish)
SATStudent Appraisal of Teaching
SATSystem Accreditation and Testing
SATSystem Achievement Test
SATSupplementary Angle Theorem
SATSite Activation Team
SATSystem Alignment Test
SATSensor Attachment Tool (ITT)
SATSequential Acquisition Technique
SATStandard Assault Tactics (Tom Clancy)
SATShared Aperture Technology
SATShips/Special Assistance Team
SATStandard Acceptance Tests
SATStudies, Analysis and Technologies
SATSpatial Analysis Toolkit
SATSoftware Acquisition Training
SATSite Acceptance Test/ing
SATSteering Axle Temperature
SATSystem Analytical Team
SATService Accounting Team
SATService Affecting Traffic
SATService Acceptance Trial
SATStudies, Analysis and Tests
SATSecurity Assistance Test
SATSimple Active Tactics (South Africa)
SATSystem Administration Tool (software)
SATSpace and Advanced Telecommunications (Italy)
SATSports Authority of Thailand
References in periodicals archive ?
This work aims to enforce dynamic access control constraints in a workflow system without creating workflow satisfiability problem situations.
We define in the following the problem of Satisfiability of a Boolean formula (SAT problem).
Nevertheless, from the header information in the one returned message, the interrogating computer identified the solution to the posed satisfiability problem.
The Boolean satisfiability (SAT) problem is the core of computationally intractable NP-complete problems [7], Informally, SAT asks if a Boolean expression can be made True by assigning Boolean values to its variables.
Section 5 proposes two kinds of reasoning problem on context satisfiability.
n, m] being satisfiable, when m/n is some constant above the satisfiability threshold, is very unlikely.
Satisfiability problems (see box) that involve expressions with only two variables in each clause (termed 2-SAT) can be solved in what is called polynomial time.
Improved algorithms for Satisfiability could lead to improved SAT solvers, and the new analytical tools would lead to a better understanding of existing heuristics.
3] will be killed* This can be observed by checking the satisfiability of conditions given above for these test cases.
Some 200 contributions are organized into sections on agent-based and multi-agent systems; constraints, satisfiability, and search; knowledge representation, reasoning, and logic; machine learning; multidisciplinary topics and applications; natural-language processing; planning and scheduling; robotics and vision; uncertainty in AI; web and knowledge-based information systems; intelligent information technologies and applications; and other related AI topics.
Coverity(R) received the award for its patent-pending breakthrough in the application of Boolean Satisfiability (SAT) in Coverity Prevent(TM), the company's industry leading static analysis technology.
the order of subconstituents does not affect the satisfiability of the argument condition.