Abstract answer set solvers with backjumping and learning

Nieuwenhuis et al. (2006. Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). Journal of the ACM 53(6), 937977 showed how to describe enhancements of the Davis–Putnam–Logemann–Loveland algorithm using transition systems, instead of pseudocode. W...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 11; číslo 2-3; s. 135 - 169
Hlavní autor:	LIERLER, YULIYA
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.03.2011
Témata:	Algorithms Design engineering Learning Logic programming Regular Papers Solvers inference learning answer set programming
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!