The following pages link to Lengning Liu (Q969537):
Displaying 6 items.
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Satisfiability and computing van der Waerden numbers (Q1883655) (← links)
- Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (Q2385178) (← links)
- Logic Programs with Abstract Constraint Atoms: The Role of Computations (Q3608661) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424889) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897213) (← links)
