Category: Accepted Papers

The SAT Compiler in Picat

By Neng-Fa Zhou (CUNY Brooklyn College & Graduate Center) Abstract SAT solvers’ performance has drastically improved during the past 20 years, thanks to the inventions of techniques from conflict-driven clause learning, backjumping, variable and value selection heuristics, to random restarts.…

ICLP 2012: Accepted papers

Ordering is according submission number. Full papers will be published in a special issue of TPLP. Technical communications instead will be published in a LIPICS (Schloss Dagstuhl) issue. Full papers Miguel Areias and Ricardo Rocha. Towards Multi-Threaded Local Tabling Using…

ICLP 2011: Accepted papers

Accepted papers of ICLP2011, 27th International Conference on Logic Programming, Lexington, KY, USA, July 6-10, 2011.

LPNMR 2011: Accepted papers

Accepted papers of LPNMR 2011,
11th International Conference on Logic Programming and Nonmonotonic Reasoning,
Vancouver, May 16-19, 2011

ICLP10: Accepted papers

Full papers of the 26th International Conference on Logic Programming have been published in a Special issue of TPLP. See here for the list. Technical Communications and invited speaker notes of the 26th International Conference on Logic Programming have been…

ILP 2010: Accepted papers

ILP2010 The 20th International Conference on Inductive Logic Programming Firenze Italy June 27-30 2010 http://ilp2010.dsi.unifi.it/

PPDP 2010: Accepted Papers

Principles and Practice of Declarative Programming (PPDP 2010), July 26-28, 2010, Hagenberg, Austria,
http://www.risc.jku.at/conferences/ppdp2010/