GULP

swMATH1459MaRDI QIDQ14198FDOQ14198

Author name not available (Why is that?)

Cited In (19)

• Advances in computational studies of energy materials
• Title not available (Why is that?)
• \textsc{XtalOpt} version r10: an open-source evolutionary algorithm for crystal structure prediction
• Title not available (Why is that?)
• A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP
• Answer set based design of knowledge systems
• Strong order equivalence
• Title not available (Why is that?)
• A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
• An anisotropic full Brillouin zone model for the three dimensional phonon Boltzmann transport equation
• Integrating answer set programming and constraint logic programming
• Title not available (Why is that?)
• Combining nonstably infinite theories
• A new generic scheme for functional logic programming with constraints
• \textsc{XtalOpt} version r9: an open-source evolutionary algorithm for crystal structure prediction
• \texttt{XtalOpt}: an open-source evolutionary algorithm for crystal structure prediction
• A novel atomistic approach to determine strain-gradient elasticity constants: tabulation and comparison for various metals, semiconductors, silica, polymers and the (ir)relevance for nanotechnologies
• Logic Programming in Italy: A Historical Perspective
• The General Utility Lattice Program (<scp>GULP</scp>)

This page was built for software: GULP