• Medientyp: E-Artikel
  • Titel: Effectively solving NP-SPEC encodings by translation to ASP
  • Beteiligte: Alviano, Mario; Faber, Wolfgang
  • Erschienen: Informa UK Limited, 2015
  • Erschienen in: Journal of Experimental & Theoretical Artificial Intelligence
  • Sprache: Englisch
  • DOI: 10.1080/0952813x.2014.993505
  • ISSN: 0952-813X; 1362-3079
  • Schlagwörter: Artificial Intelligence ; Theoretical Computer Science ; Software
  • Entstehung:
  • Anmerkungen: