ezcsp

MaRDI QIDQ39195swMATHFDO

Official website http://mbal.tk/ezcsp/

Described by source

• Constraint answer set solver EZCSP and why integration schemas matter

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