IXTET

Kapcsolódó fogalmak: 
kényszerkielégítési probléma (CSP)
Rövid szöveges bemutatás: 
Az IXTET rendszer egy részben rendezett tervkészítő volt, melyet Ghallab és Laurelle alkottam meg 1994-ben. Különlegessége a használt adatstruktúrában volt. Ugyanis az adatokból képest volt, a keresés gyorsítására alkalmas heurisztikák kinyerésére. Domain alapú volt, képes volt az idő és más erőforrások kezelésére. A tervet CSP problémákra fordította le, és ezekre keresett megoldást. Egy-egy részfeladat megoldására 4 lehetséges válasz születhetett. Vagy sikerült megoldani, vagy nem. Ha nem akkor, lehetett ismeretlen vagy inkonzisztens kifejezés vagy konfliktust okozó erőforrás foglalási probléma.