Synthesis of efficient constraint-satisfaction programs

DOI10.1017/S0269888901000029zbMath1002.68744OpenAlexW2007256944MaRDI QIDQ2775779

Douglas R. Smith, Stephen J. Westfold

Publication date: 14 January 2003

Published in: The Knowledge Engineering Review (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0269888901000029

zbMATH Keywords

Kestrel interactive development system

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (1)

SATenstein: automatically building local search SAT solvers from components

This page was built for publication: Synthesis of efficient constraint-satisfaction programs