Other versions:

(Verbatim name)

ID

(Catalog Number)

ORG

DES

Invalid DOI was provided, please try again

XML
PDF
 
 
Bluesky
Twitter
Facebook
Telegram
Mendeley
Reddit
Notify a colleague
  • Article InfoArticle Info
  • CiteCite
  • MetricsMetrics
  • CommentComment
  • RelatedRelated
  • CitedCited
CrossRef
(5)
  • Seemran Mishra (2021)
    Product Configuration in Answer Set Programming. Electronic Proceedings in Theoretical Computer Science 345: 296. CrossRef DOI: 10.4204/EPTCS.345.46
  • Bruno Ziegler Haselein, Jonny Carlos da Silva (2022)
    A knowledge‐based system for electric motors compliance verification in a multinational‐level company. Expert Systems 39: . CrossRef DOI: 10.1111/exsy.12979
  • Ilankaikone Senthooran, Matthias Klapperstueck, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda (2023)
    Human-centred feasibility restoration in practice. Constraints 28: 203. CrossRef DOI: 10.1007/s10601-023-09344-5
  • Ankit Jha, Rosemary Monahan, Hao Wu (2024)
    Verifying UML Models Annotated with OCL Strings. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems : 1106. CrossRef DOI: 10.1145/3652620.3687822
  • Richard Comploi-Taupe, Giulia Francescutto, Gottfried Schenner (2022)
    Applying incremental answer set solving to product configuration. Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B : 150. CrossRef DOI: 10.1145/3503229.3547069
    • Powered by