ezcsp
From MaRDI portal
Ezcsp
Cited in
(40)- ASPeRiX
- sCASP
- DLVHEX
- DLV-EX
- ASPIDE
- B-Prolog
- plasp
- GASP
- Testing in ASP: revisited language and programming environment
- WASP
- Galliwasp
- Clingcon
- Clingo
- ASPMT2SMT
- ROSoClingo
- Prolog and ASP inference under one roof
- Industrial-size scheduling with ASP+CP
- ManyOpt
- Representing constraint satisfaction problems in answer set programming
- MRtrix
- Harvey
- Tweety
- MiniSearch
- IDP
- CR-Prolog as a Specification Language for Constraint Satisfaction Problems
- asprilo
- Phylotastic
- Democratix
- asprin
- anthem
- DLV2
- Constraint answer set programming without grounding
- CPCES
- The External Interface for Extending WASP
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Manipulation of articulated objects using dual-arm robots via answer set programming
- Building Information Modeling Using Constraint Logic Programming
- Partial compilation of ASP programs
- Answer set programming
- DualGrounder
This page was built for software: ezcsp
