ASSAT


Also found in: Wikipedia.
AcronymDefinition
ASSATAerojet Sensor Simulation and Algorithm Testbed
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.
Just as Cmodels or ASSAT, it starts its computation by forming the clausified completion of an input program.
The first informal competition took place during that workshop in Dagstuhl, featuring five systems, namely DLV, Smodels, ASSAT, Cmodels, and ASPPS.
A first informal competition took place during the workshop, featuring five systems: DLV, Smodels, ASSAT, Cmodels, and Aspps, respectively from Technical University Vienna and the University of Calabria, University of Helsinki, Hong Kong University of Science and Technology, University of Texas, Austin, and the University of Kentucky.
Satosaari spent last season at German Second Division club Bremerhaven, having iced for Assat Pori in the Finnish Elite League the season after leaving Newcastle.