|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alban Grastien, Anbulagan |
Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study.  |
IEEE Trans. Autom. Control.  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alban Grastien, Anbulagan |
Diagnostic de systèmes à événements discrets à base de cohérence par SAT. |
Rev. d'Intelligence Artif. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anbulagan, John K. Slaney |
Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anbulagan, Alban Grastien |
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Anbulagan |
Incremental Diagnosis of DES by Satisfiability. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anbulagan, Adi Botea |
Crossword Puzzles as a Constraint Problem. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva |
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Louise Leenen, Anbulagan, Thomas Meyer 0002, Aditya K. Ghose |
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelraouf Ishtaiwi, John Thornton 0001, Anbulagan, Abdul Sattar 0001, Duc Nghia Pham |
Adaptive Clause Weight Redistribution. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar 0001 |
Old Resolution Meets Modern SLS. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Anbulagan, John K. Slaney |
Lookahead Saturation with Restriction for SAT. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anbulagan |
Extending Unit Propagation Look-Ahead of DPLL Procedure. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anbulagan, John Thornton 0001, Abdul Sattar 0001 |
Dynamic Variable Filtering for Hard Random 3-SAT Problems. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
Search, Constraints, Problem Solving |
| 1 | Chu Min Li, Anbulagan |
Look-Ahead Versus Look-Back for Satisfiability Problems. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chu Min Li, Anbulagan |
Heuristics Based on Unit Propagation for Satisfiability Problems. |
IJCAI (1) |
1997 |
DBLP BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license