"Algorithms in Backtracking Search behind SAT and ASP" by Yuliya Lierler

Selected Works of Yuliya Lierler

Follow Contact

Handout

Algorithms in Backtracking Search behind SAT and ASP

Topics in AI: Knowledge Representation and Reasoning (2020)

Yuliya Lierler

Download

Disciplines

Computer Sciences

Publication Date

March, 2020

Citation Information

Yuliya Lierler. "Algorithms in Backtracking Search behind SAT and ASP" Topics in AI: Knowledge Representation and Reasoning (2020)
Available at: http://works.bepress.com/yuliya_lierler/73/