• OMiGA

  • Referenced in 10 articles [sw33084]
  • OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. We present ... Programs whose main features include grounding on-the-fly and readiness for use in solving ... learning in the presence of grounding on-the-fly...
  • ASPeRiX

  • Referenced in 6 articles [sw00050]
  • first order rules that are grounded on the fly. So, unlike others available ASP systems...
  • Sim4CV

  • Referenced in 1 article [sw35045]
  • generates synthetic photo-realistic datasets with automatic ground truth annotations to easily extend existing real ... ability to reconfigure synthetic worlds on the fly using an automatic world generation tool...
  • HECTOR

  • Referenced in 2 articles [sw13320]
  • canonical restriction of standard ML to ground-type references. Hector accepts programs from a decidable ... semantics of RML to construct, on-the-fly, visibly pushdown automata which precisely capture program...
  • CSUAV

  • Referenced in 1 article [sw36680]
  • collection consisted of two surrogate UAV platforms flying a dog bone course centered over ... image in Figure 1 depicts the sensor ground tracks for each run over a Google...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • TSPLIB

  • Referenced in 698 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SNOPT

  • Referenced in 551 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • ASSAT

  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • AMPL

  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • FEniCS

  • Referenced in 840 articles [sw04314]
  • The FEniCS Project is a collaborative project for...
  • YALMIP

  • Referenced in 1033 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...
  • Ipopt

  • Referenced in 740 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • GASP

  • Referenced in 18 articles [sw07096]
  • GASP: Answer set programming with lazy grounding In...
  • WASP

  • Referenced in 56 articles [sw09565]
  • WASP: a native ASP solver based on constraint...
  • Clingcon

  • Referenced in 39 articles [sw09892]
  • Clingcon is a hybrid solver combining the monolithic...
  • JaxoDraw

  • Referenced in 88 articles [sw10448]
  • JaxoDraw: A graphical user interface for drawing Feynman...
  • top.m

  • Referenced in 244 articles [sw22630]
  • A 99 line topology optimization code written in...