Also found in: Wikipedia.
ASSATAerojet Sensor Simulation and Algorithm Testbed
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.
Contract notice: exploitation of assat, Asson, Coarraze and haut-de-bosdarros waste disposal centers
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.
Contract notice: Management of the multi-home early childhood structure libellule assat
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.
- for rd 837 at assat (assat deviation): - maintenance, Roundabouts and their surroundings (2 intersections), - planted areas of zone 1 located at rd 837 / rd 212 junction, - and zone 2 located north and south of the sncf bridge.
Contract notice: Market for the management of the waste of assat.