Synthesis of efficient constraint-satisfaction programs

DOI10.1017/S0269888901000029MaRDI QIDQ2775779zbMATH OpenOpenAlexFDO

Authors Stephen J. Westfold, Douglas R. Smith

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

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

Cited in

(1)

• SATenstein: automatically building local search SAT solvers from components

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2775779)