Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author c27b3ffb-9e8f-460b-afab-08a15ab38d6a

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 1 to 8 of 8

Diagnosis of discrete event systems using satisfiability algorithms: A theoretical and empirical study

Author(s)Grastien, Alban; Anbulagan, Anbu
TypeJournal article
Date Published2013
Date Created-

Diagnosis of discrete-event systems using satisfiability algorithms

Author(s)Grastien, Alban; Anbulagan, Anbu; Rintanen, Jussi, et al
TypeConference paper
Date Published2007
Date CreatedJuly 22-26 2007
03_Anbulagan_Importance_de_la_semantique_2008.pdf.jpg

Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED

Author(s)Anbulagan, Anbu; Grastien, Alban
TypeConference paper
Date Published2008
Date CreatedJune 4-6 2008

Importance of Variables Semantic in CNF Encoding of Cardinality Constraints

Author(s)Anbulagan, Anbu; Grastien, Alban
TypeConference paper
Date Published2009
Date CreatedAugust 8-10 2009

Incremental diagnosis of DES by satisfiability

Author(s)Grastien, Alban; Anbulagan, Anbu
TypeConference paper
Date Published2008
Date CreatedJuly 21-25 2008

Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine

Author(s)Grastien, Alban; Anbulagan, Anbu
TypeConference paper
Date Published2009
Date CreatedJune 14-17 2009

Modeling and solving diagnosis of discrete-event systems via satisfiability

Author(s)Grastien, Alban; Anbulagan, Anbu; Rintanen, Jussi, et al
TypeConference paper
Date Published2007
Date CreatedMay 29-31 2007

Old resolution meets modern SLS

Author(s)Anbulagan, Anbu; Pham, Duc Nghia; Slaney, John K, et al
TypeConference paper
Date Published2005
Date CreatedJuly 9 2005
  • previous
  • 1
  • next

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator