dblp.uni-trier.dewww.uni-trier.de

Anbulagan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
11EE Anbulagan, Adi Botea: Crossword Puzzles as a Constraint Problem. CP 2008: 550-554
10EEAlban Grastien, Anbulagan: Incremental Diagnosis of DES by Satisfiability. ECAI 2008: 787-788
2007
9 Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva: Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. AAAI 2007: 305-310
8EELouise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose: Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. Australian Conference on Artificial Intelligence 2007: 202-212
2006
7EEAbdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
2005
6  Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar: Old Resolution Meets Modern SLS. AAAI 2005: 354-359
5EE Anbulagan, John K. Slaney: Lookahead Saturation with Restriction for SAT. CP 2005: 727-731
2004
4EE Anbulagan: Extending Unit Propagation Look-Ahead of DPLL Procedure. PRICAI 2004: 173-182
2003
3EE Anbulagan, John Thornton, Abdul Sattar: Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111
1997
2 Chu Min Li, Anbulagan: Look-Ahead Versus Look-Back for Satisfiability Problems. CP 1997: 341-355
1 Chu Min Li, Anbulagan: Heuristics Based on Unit Propagation for Satisfiability Problems. IJCAI (1) 1997: 366-371

Coauthor Index

1Adi Botea [11]
2Aditya K. Ghose (Aditya Ghose) [8]
3Alban Grastien [9] [10]
4Abdelraouf Ishtaiwi [7]
5Elena Kelareva [9]
6Louise Leenen [8]
7Chu Min Li [1] [2]
8Thomas Meyer [8]
9Duc Nghia Pham [6] [7]
10Jussi Rintanen [9]
11Abdul Sattar [3] [6] [7]
12John K. Slaney [5] [6]
13John Thornton [3] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)