Sept 29:

Discussion led by Jessica, on the following paper:
Ian P. Gent, Chris Jefferson, Ian Miguel, and Peter Nightingale,
Generating Specialpurpose Stateless Propagators for Arbitrary Constraints, CP 2010.

Oct 06:

Discussion led by Fahiem, on the following paper
Blai Bonet and Malte Helmert,
Strengthening Landmark Heuristics via Hitting Sets, ECAI 2010.

Oct 13:

Discussion led by Alexandra, on the following paper:
Robinson, N., Gretton, C.; Pham, D. N.; and Sattar, A,
Partial Weighted MaxSAT for Optimal Planning.
To Appear: Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence, 2010.

Oct 20:

Discussion led by Ozan, on the following paper:
Ruben Duarte Viegas, Marco Correia, Pedro Barahona and Francisco Azevedo
Using Indexed Finite Set Variables for Set Bounds Propagation.
Sixth IberoAmerican Artificial Intelligence Conference (IBERAMIA.08), 2008.

Oct 27:

Discussion led by Christian, on the following paper:
Knot Pipatsrisawat and Adnan Darwiche
TopDown Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications.
ECAI10, Lisbon, Portugal

Nov 10:

Discussion led by Erin, on the following paper:
Hubie Chen, A Rendezvous of Logic, Complexity, and Algebra,
ACM Computing Surveys (CSUR) Volume 42 , Issue 1 (December 2009)

Nov 24:

Continuing discussion on the following paper:
Hubie Chen, A Rendezvous of Logic, Complexity, and Algebra,
ACM Computing Surveys (CSUR) Volume 42 , Issue 1 (December 2009)

Dec 8:

Discussion on the following paper:
Niklas Eén and Niklas Sörensson, Translating PseudoBoolean Constraints into SAT
Journal on Satisfiability, Boolean Modeling and Computation (2006)
 Christian presents Method 1: 5.3 Translation through BDDs
 Erin presents Method 2: 5.4 Translation through Adder Networks
 Eric presents Method 3: 5.5 Translation through Sorting Networks

Feb 09:

Discussion led by Fahiem, on the following paper:
Peter Jeavons and Justyna Petke, Local consistency and SATsolvers
CP 2010. Vol. 6308 of Lecture Notes in Computer Science. Pages 398413.

Feb 16:

Discussion led by Jessica, on the following paper:
An Efficient BranchandBound Algorithm Based on MaxSAT for the Maximum Clique Problem. Li, C., Quan, Z. AAAI 2010.

Feb 23:

Discussion led by Erin, on the following paper:
Propagating Conjunctions of AllDifferent Constraints. Bessiere C., Katsirelos G., Narodytska N., Quimper C.G., and Walsh T. AAAI 2010

Mar 2:

Discussion led by Alexandra, on the following paper:
Decompositions of All Different, Global Cardinality and Related Constraints.
Bessiere C., Katsirelos G., Narodytska N., Quimper C.G., and Walsh T. IJCAI 2009

Mar 9:

Discussion led by Ozan, on the following paper:
Symmetries of Symmetry Breaking Constraints.
George Katsirelos and Toby Walsh. Proceedings of ECAI2010, 2010.

Mar 16:

Discussion led by Jessica, on the following paper:
Upper Bounds on the Number of
Solutions of Binary Integer Programs. Jain, S., Kadioglu, S., Sellmann, M. CPAIOR 2010.

Mar 23:

Discussion led by Alexandra, on the following paper:
Improved Local Search for Circuit Satisfiability. A. Belov and Z.Stachniak. Proceedings of SAT 2010

Mar 30:

Discussion led by Erin, on the following paper:
A New Hybrid Tractable Class of Soft Constraint Problems. Martin C. Cooper and Stanislav Zivny. Proceedings of CP 2010

Apr 6:

Discussion led by Ozan, on the following paper:
A Simplifier for Propositional Formulas with Many Binary Clauses.
Ronen I. Brafman. IJCAI'01

Apr 13:

Discussion led by Erin, on the following paper:
Automatically Exploiting Subproblem Equivalence in Constraint Programming. G. Chu, M. Garcia de la Banda, and P.J. Stuckey. CPAIOR 2010

Apr 20:

Discussion led by Alexandra, on the following paper:
Learning in Local Search. Gilles Audemard, JeanMarie Lagniez, Bertrand Mazure, and Lakhdar Sais. ICTAI 2009

May 4:

Discussion led by Jessica, on the following paper:
Automatically Configuring Algorithms for PortfolioBased Selection
by Lin Xu, Holger Hoos and Kevin LeytonBrown, AAAI 2010.

May 25:

Discussion led by Ozan, on the following paper:
Symmetry and Satisfiability: An Update.
Hadi Katebi, Karem A. Sakallah,
Igor L. Markov. SAT 2010

June 1:

Discussion led by Alexandra, on the following paper:
Interpolation and SATbased Model Checking. K. L. McMillan. CAV 2003.

June 8:

Discussion led by Erin, on the following paper:
Maintaining State in Propagation Solvers. Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack. CP'09

June 22:

Discussion led by Jessica, on the following paper:
Efficient CNF Simplification based on Binary Implication Graphs.
Marijn Heule, Matti Jarvisalo, and Armin Biere. SAT'11

July 05:

SAT'2011 and ICAPS'2011 overviews

July 12:

Discussion led by Ozan, on the following paper:
Heuristics for Planning with SAT and Expressive Action Definitions. Jussi Rintanen. ICAPS'11

July 27:

IJCAI'2011 overview

Aug 3:

Discussion led by Fahiem, on the following paper:
Planning as Satisfiability with Relaxed Step Plans. Martin Wehrle and Jussi Rintanen. AI'07
