Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Lengning
Last name:	Liu
DBLP:	72/1859
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski. Logic Programs with Abstract Constraint Atoms: The Role of Computations.	Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings 2007	(0)	2007
	Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski. The First Answer Set Programming System Competition.	Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings 2007	(0)	2007
	Lengning Liu, Miroslaw Truszczynski. Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.	Constraints 2007, Volume 12	(0)	2007
	Lengning Liu, Miroslaw Truszczynski. Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints.	Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA 2006	(0)	2006
	Lengning Liu, Miroslaw Truszczynski. Properties and Applications of Programs with Monotone and Convex Constraints.	J. Artif. Intell. Res. (JAIR) 2006, Volume 27	(0)	2006
	Lengning Liu, Miroslaw Truszczynski. Properties of Programs with Monotone and Convex Constraints.	Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA 2005	(0)	2005
	Lengning Liu, Miroslaw Truszczynski. Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.	Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings 2005	(0)	2005
	Lengning Liu, Miroslaw Truszczynski. WSAT(CC) - A Fast Local-Search ASP Solver.	Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings 2004	(0)	2004
	Lengning Liu, Miroslaw Truszczynski. Local Search with Bootstrapping.	SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings 2004	(0)	2004
	Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski. Satisfiability and Computing van der Waerden Numbers.	Electr. J. Comb. 2004, Volume 11	(0)	2004

Your query returned 13 matches in the database.