ezcsp

swMATH27479MaRDI QIDQ39195FDOQ39195

Author name not available (Why is that?)

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

Described by source

• Constraint answer set solver EZCSP and why integration schemas matter

Cited In (38)

• Constraint answer set programming without grounding
• Prolog and ASP inference under one roof
• DualGrounder
• CR-Prolog as a Specification Language for Constraint Satisfaction Problems
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
• Representing constraint satisfaction problems in answer set programming
• DLV-EX
• ASPIDE
• B-Prolog
• GASP
• plasp
• Answer set programming
• Industrial-size scheduling with ASP+CP
• Galliwasp
• Clingcon
• Clingo
• WASP
• ASPMT2SMT
• ROSoClingo
• ManyOpt
• MRtrix
• Partial compilation of ASP programs
• Harvey
• Tweety
• IDP
• MiniSearch
• asprilo
• Democratix
• Phylotastic
• asprin
• anthem
• DLV2
• CPCES
• Testing in ASP: revisited language and programming environment
• 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