Search Results - Liu, Lengning

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Logic programs with abstract constraint atoms: The role of computations

    Logic programs with abstract constraint atoms: The role of computations by Liu, Lengning, Pontelli, Enrico, Son, Tran Cao, Truszczyński, Miroslaw

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques: Special issue on local search techniques in constraint satisfaction

    Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques: Special issue on local search techniques in constraint satisfaction by LENGNING LIU, TRUSZCZYNSKI, Mirostaw

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Properties and Applications of Programs with Monotone and Convex Constraints

    Properties and Applications of Programs with Monotone and Convex Constraints by Liu, L., Truszczynski, M.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques

    Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques by Liu, Lengning, Truszczyński, Mirosław

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Satisfiability and Computing van der Waerden Numbers

    Satisfiability and Computing van der Waerden Numbers by Dransfield, Michael R., Liu, Lengning, Marek, Victor W., Truszczyński, Mirosław

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    WSAT(cc) - a fast local-search ASP solver

    WSAT(cc) - a fast local-search ASP solver by Liu, Lengning, Truszczynski, Miroslaw

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Local-search techniques for propositional logic extended with cardinality constraints

    Local-search techniques for propositional logic extended with cardinality constraints by Liu, Lengning, Truszczynski, Miroslaw

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: