ezcsp

swMATH27479MaRDI QIDQ39195FDOQ39195

Author name not available (Why is that?)

Described by source

• Constraint answer set solver EZCSP and why integration schemas matter

Cited In (12)

• Constraint answer set programming without grounding
• Prolog and ASP inference under one roof
• 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
• Answer set programming
• Industrial-size scheduling with ASP+CP
• Partial compilation of ASP programs
• Testing in ASP: revisited language and programming environment
• Building Information Modeling Using Constraint Logic Programming
• 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