The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Duc Nghia Pham: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
    Old Resolution Meets Modern SLS. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:354-359 [Conf]
  2. Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi
    SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:455-460 [Conf]
  3. John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.
    Additive versus Multiplicative Clause Weighting for SAT. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:191-196 [Conf]
  4. John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham
    A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:603-614 [Conf]
  5. Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
    Adaptive Clause Weight Redistribution. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:229-243 [Conf]
  6. Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham
    Neighbourhood Clause Weight Redistribution in Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:772-776 [Conf]
  7. Duc Nghia Pham, John Thornton, Abdul Sattar
    Towards an Efficient SAT Encoding for Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:421-436 [Conf]
  8. Duc Nghia Pham, John Thornton, Abdul Sattar
    Building Structure into Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2359-2364 [Conf]

  9. Efficiently Exploiting Dependencies in Local Search for SAT. [Citation Graph (, )][DBLP]


  10. A Compact and Efficient SAT Encoding for Planning. [Citation Graph (, )][DBLP]


  11. SAT-Based Parallel Planning Using a Split Representation of Actions. [Citation Graph (, )][DBLP]


  12. Advances in Local Search for Satisfiability. [Citation Graph (, )][DBLP]


  13. Using Cost Distributions to Guide Weight Decay in Local Search for SAT. [Citation Graph (, )][DBLP]


  14. Partial Weighted MaxSAT for Optimal Planning. [Citation Graph (, )][DBLP]


  15. Modelling and solving temporal reasoning as propositional satisfiability. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002