×

zbMATH — the first resource for mathematics

GRASP: a search algorithm for propositional satisfiability. (English) Zbl 1392.68388
Editorial remark: No review copy delivered.

MSC:
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
90C08 Special problems of linear programming (transportation, multi-index, data envelopment analysis, etc.)
PDF BibTeX XML Cite
Full Text: DOI