Logic Programming

DOI10.1007/b94619zbMath1204.68066OpenAlexW2889864133MaRDI QIDQ5191483

Yuting Zhao, Fangzhen Lin

Publication date: 6 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94619

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (6)

A Model for Phase Transition of Random Answer-Set Programs ⋮ Answer set programming based on propositional satisfiability ⋮ Random logic programs: Linear model ⋮ Gradient-based supported model computation in vector spaces ⋮ New models for generating hard random Boolean formulas and disjunctive logic programs ⋮ Backdoors to tractable answer set programming

Uses Software

• ASSAT
• Smodels

This page was built for publication: Logic Programming