Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics

Reference:

Patrik Simons. Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.

Suggested BibTeX entry:

@phdthesis{SimonsLic,
    author = {Simons, Patrik},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics},
    type = {Licentiate's thesis},
    year = {1997},
}