Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Zhang, Yuanlin - Department of Computer Science, Texas Tech University
Systems integrating answer set programming and constraint programming
Yuanlin ZHANG Department of Computer Science,
On Tightness of Constraints Yuanlin Zhang
Bound Consistency on Linear Constraints in Finite Domain Constraint Programming
Integrating Answer Set Programming and Constraint Logic Programming
CONSISTENCY TECHNIQUES IN CONSTRAINT NETWORKS
Consistency and Set Intersection Yuanlin Zhang and Roland H.C. Yap
Functional Elimination and 0/1/All Constraints Yuanlin Zhang, Roland H.C. Yap and Joxan Ja ar
Conditional interchangeability and substitutability Yuanlin Zhang
Maintaining Arc Consistency with Multiple Residues Christophe Lecoutre lecoutre@cril.fr
Incrementally Solving Functional Constraints Yuanlin Zhang and Roland H.C. Yap
Solving Functional Constraints by Variable Substitution and Constraint Elimination
Consistency and Set Intersection Yuanlin Zhang and Roland H.C. Yap
Making AC-3 an Optimal Algorithm Yuanlin Zhang and Roland H.C. Yap
Automated Epilepsy Diagnosis Using Interictal Scalp EEG
Solving Connected Row Convex Constraints by Variable Elimination
Journal of Artificial Intelligence Research 27 (2006) 441-464 Submitted 03/06; published 12/06 Set Intersection and Consistency in Constraint Networks
Maintaining Arc Consistency using Adaptive Domain Ordering Chavalit Likitvivatanavong
An Elimination Algorithm for Functional Constraints
Tractable Tree Convex Constraint Networks Yuanlin Zhang and Eugene C. Freuder
Arc Consistency in MAC: A New Perspective Chavalit Likitvivatanavong, Yuanlin Zhang,
Arc Consistency on n-ary Monotonic and Linear Constraints
CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND
An Optimal Coarse-grained Arc Consistency Algorithm 1,2
On Tightness of Constraints Yuanlin Zhang
Efficient Algorithms for Functional Constraints Yuanlin Zhang1
A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network
