Simple Random Logic Programs
From MaRDI portal
Publication:3643121
DOI10.1007/978-3-642-04238-6_20zbMath1258.68036OpenAlexW1515473514MaRDI QIDQ3643121
Miroslaw Truszczynski, Gayathri Namasivayam
Publication date: 10 November 2009
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04238-6_20
Related Items (4)
A Model for Phase Transition of Random Answer-Set Programs ⋮ Random logic programs: Linear model ⋮ Testing and debugging techniques for answer set solver development ⋮ New models for generating hard random Boolean formulas and disjunctive logic programs
Uses Software
This page was built for publication: Simple Random Logic Programs