(redirected from Satisfiability)
Also found in: Dictionary, Thesaurus, Legal, Wikipedia.
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 ?
There are some well-established benchmarks in certain area such as vision, machine learning, satisfiability, and planning.
For example, Satisfiability Checking is an essential backend for assuring the security and the safety of computer systems.
The problems of satisfiability, validity and modelchecking of DECTL are PSPACE- complete and RMECTL are EXPSPACE-complete.
Verifying UML/OCL Models Using Boolean Satisfiability, In Proceeding of the Conference on Design, Automation and Test in Europe (DATE '10), European Design and Automation Association, 3001 Leuven, Belgium, Belgium, ACM (2010).
Thus, it is an important requirement of a workflow specification to guarantee the satisfiability of the workflow, which requires that some set of authorized users can complete a workflow as it is highlighted in [1].
Lipton extended the work of Adleman and investigated the solution of Satisfiability of Propositional Formula pointing to new opportunities of DNA computing [8].
I had not been interested in Sudoku until we started working on the much more general class of 'Boolean satisfiability problems," Toroczkai said.
In one chapter of his book, Heck shows that deciding the consistency of an arbitrary contextual definition is equivalent to deciding the satisfiability of an arbitrary second-order sentence, thus non-decidable.
0 also contains the same advanced dataflow analysis engine, coupled with an industry-proven Satisfiability Modulo Theories (SMT) solver that was recently introduced in QA-C 8.
The execution time of algorithms doesn't influence the satisfiability of results but the non-effective implementation significantly increases time consumption within execution of algorithm and utilization of the computational appliances is not optimal as well.
Tutorials address SMT solvers for testing, program analysis, and verification at Microsoft; satisfiability and theories; automated methods for proving program termination and liveness; and automated software analysis.
Sato: A solver for propositional satisfiability, University of Iowa.