Abstrakt. Restriktionsprogrammering håller snabbt på att bli den teknik som valts för modellering och lösning av komplexa kombinatoriska problem. Användarna av denna teknik behöver dock betydande sakkunskap för att kunna modellera sina problem på ett lämpligt sätt. Bristen på sådan expertis är en betydande flaskhals för ett bredare utnyttjande av begränsningsteknik i den verkliga världen. Vi presenterar en ny SAT-baserad versionsutrymmesalgoritm för att förvärva problem med begränsad tillfredsställelse från exempel på lösningar och icke-lösningar av ett målproblem. En viktig fördel är den lätthet med vilken domänspecifik kunskap kan utnyttjas med hjälp av den nya algoritmen. Slutligen demonstrerar vi empiriskt algoritmen och effekten av att utnyttja domänspecifika kunskaper för att förbättra kvaliteten på det förvärvade begränsningsnätet.
Slutligen, Bessière et al. REF föreslår en SAT-baserad versionsrymdalgoritm för att förvärva hindernätverk från exempel.
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems
{'venue': 'IN PROCEEDINGS OF ECML’05', 'journal': None, 'mag_field_of_study': ['Computer Science']}