Succinct Solver | Helmuth Seidl, Christoffer Rosenkilde Nielsen, Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
| | Abstract | The succinct solver is a tool for solving constrains specified by the Alternation-free Least Fixed Point Logic (ALFP) in clausal form, which is an extension of Horn Clause. | | Keywords | Succinct Solver, ALFP | | Type | Software | | Year | 2005 | | Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU | | Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby | | Publication link | http://www2.imm.dtu.dk/cs_SuccinctSolver/ | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|