Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

ezcsp

From MaRDI portal
Software:39195
Jump to:navigation, search



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)

  • A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
  • CR-Prolog as a Specification Language for Constraint Satisfaction Problems
  • Title not available (Why is that?)
  • Partial Compilation of ASP Programs
  • Prolog and ASP Inference under One Roof
  • Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
  • Constraint Answer Set Programming without Grounding
  • Testing in ASP: revisited language and programming environment
  • Building Information Modeling Using Constraint Logic Programming
  • The External Interface for Extending WASP
  • Industrial-Size Scheduling with ASP+CP
  • Answer Set Programming


This page was built for software: ezcsp

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:39195&oldid=29495492"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 March 2024, at 20:42. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki