Keynote Talks, Invited Talks and Conference Talks

Keynote and Invited Talks

• J. Marques-Silva, "On Applying Lower Bound Estimates in Pseudo-Boolean Optimization," Invited talk, Guangzhou Symposium on Satisfiability and its Applications, Guangzhou, China, September 2004.

• J. Marques-Silva, "Computing Minimum-Size Unsatisfiable Cores," Invited talk, International Workshop on Formal Circuit Equivalence Verfication, Agios Yoannis, Greece. August 2004.

• J. Marques-Silva, "Model Checking Using Boolean Satisfiability," Invited talk, Department of Mathematics, Technical University of Lisbon/IST, Portugal. June 2004.

• J. Marques-Silva, "Backtracking Relaxations and Portfolios in Satisfiability", International Symposium on Artificial Intelligence and Mathematics, January 2004.

• I. Lynce and J. Marques-Silva, "Formula Manipulation Techniques Using Hypothetical Reasoning", Dagstuhl Seminar: Formal Circuit Equivalence Verification, Arrabida, Portugal, August 2003.

• J. Marques-Silva, "Hypothetical Reasoning in Propositional Satisfiability", Dagstuhl Seminar: Formal Circuit Equivalence Verification, Schloss Dagstuhl, Germany, August 2002.

• J. Marques-Silva, "The Utilization of Randomization in Backtrack Search SAT Algorithms", AAAI 2002 Workshop on Probabilistitc Approaches in Search, July 2002.

• J. Marques-Silva, "Hypothetical Reasoning in Propositional Satisfiability", Keynote Talk. Symposium on the Theory and Applications of Satisfiability Testing, Cincinnati, May 2002.

• J. Marques-Silva, "Data Structures for Efficient SAT Solvers", Electronic Design Systems Seminar, University of California, Berkeley, November 2001.

• J. Marques-Silva, "Randomized Search Strategies in Complete SAT Solvers", Cadence Berkeley Labs, Berkeley, November 2001.

• L. Batista and J. Marques-Silva, "New Algorithms for Solving Satisfiability in Formal verification", Dagstuhl Seminar: BDDs versus SAT, Schloss Dagstuhl, Germany, January 2001.

• J. Marques-Silva, "On Applying Algebraic Simplification in Boolean Satisfiability", SAT2000 Workshop, Renesse, Netherlands, May 2000.

• J. Marques-Silva, "Boolean Satisfiability: Algorithms and EDA Applications", Cadence Berkeley Labs, Berkeley, November 1998.

• J. Marques-Silva, "Boolean Satisfiability: Algorithms and EDA Applications", Lucent Technologies Bell Labs, Murray Hill, November 1998.

• J. Marques-Silva, "SAT Algorithms and EDA", CAD seminar, University of California, Berkeley, June 1996.

• "The Impact of Branching Heuristics in Propositional Satisfiability Algorithms". Talk given at EPIA'99, Évora, Portugal, in September 1999.

• "Algorithms for Solving Boolean Satisfiability in Combinational Circuits". Talk given at DATE'99, Munich, Germany, in March 1999.

• "Combinational Equivalence Checking Using Satisfiability and Recursive Learning". Talk given at DATE'99, Munich, Germany, in March 1999.

• "On Applying Set Covering Models to Test Set Compaction". Talk given at GLS-VLSI'99, Ann Arbor, Michigan, in March 1999.

• "Boolean Satisfiability: Algorithms and EDA Applications". Talk given at Cadence Berkeley Labs, Berkeley, in November 1998

• "Improving Satisfiability Algorithms by Using Recursive Learning". Talk given at IWBP'98, Freiberg, Germany, in September 1998.

• "Models and Algorithms for Computing Minimum-Size Prime Implicants". Talk given at IWBP'98, Freiberg, Germany, in September 1998.

• "Integer Optimization Models and Algorithms for Integrated Circuit Testing". Talk given at Optimization'98, Coimbra, Portugal, in July 1998.

• "Satisfiability-Based Algorithms for 0-1 Integer Programming". Talk given at IWLS'98, Lake Tahoe, USA, in July 1998.

• "Integer Programming Models for Optimization Problems in Test Generation". Talk given at ASP-DAC'98, Japan, in February 1998.

• "Computing Prime Implicants with Satisfiability Algorithms". Talk given at ICTAI'97 in November 1997.

• "Robust Search Algorithms for ATPG". Talk given at FTCS'97, Seattle, USA, in June 1997.

• "Testability Analysis of Circuits with Precomputation" . Talk given as a poster ETW'97 in May 1997.

• "Computing Minimum Size Prime Implicants" . Talk given at IWLS'97, Lake Tahoe, USA, in May 1997.

• "Covering Techniques for SAT Algorithms" . Talk given as poster at IWLS'97, Lake Tahoe, USA, in May 1997.