Abstrakt. I detta dokument presenterar vi en betydande förbättring av sökprocedurerna i programplaneringen för begränsningar. Först integrerar vi olika sökprocedurer från AI och OR. För det andra parallelliserar vi sökningen på delade minnesdatorer. För det tredje lägger vi till ett objektorienterat extensibelt kontrollspråk för att genomföra komplexa fullständiga och ofullständiga sökprocedurer. Resultatet är en kraftfull uppsättning verktyg som erbjuder både brute force search med hjälp av enkla sökprocedurer och parallellism, och finjusterade sökprocedurer med hjälp av det uttrycksfulla kontrollspråket. Med detta kunde vi både lösa svåra och öppna problem med hjälp av fullständiga sökprocedurer, och snabbt åstadkomma goda resultat med hjälp av ofullständiga sökprocedurer.
Sökprocedurerna förbättras genom parallella genomföranden av multiprocessorer i samband med begränsningsprogrammering REF.
Search procedures and parallelism in constraint programming
{'venue': 'In Proc. of CP-99', 'journal': None, 'mag_field_of_study': ['Computer Science']}