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