Publications :: Search

Show venue

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

Conference
Name:	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010
URL:	http://dx.doi.org/10.1007/978-3-642-14186-7
DBLP:	db/conf/sat/sat2010.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 37  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Dave A. D. Tompkins, Holger H. Hoos. Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT.	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer. Proof Complexity of Propositional Default Logic.	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Carsten Fuhs, Peter Schneider-Kamp. Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT.	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Yehuda Naveh. The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Vishwambhar Rathi, Erik Aurell, Lars K. Rasmussen, Mikael Skoglund. Bounds on Threshold of Regular Random	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce. The Seventh QBF Solvers Evaluation (QBFEVAL'10).	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Chu Min Li, Felip Manyà, Zhe Quan, Zhu Zhu. Exact MinSAT Solving.	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Enrico Giunchiglia, Paolo Marin, Massimo Narizzano. sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Hadi Katebi, Karem A. Sakallah, Igor L. Markov. Symmetry and Satisfiability: An Update.	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010
	Conference paper Miquel Bofill, Josep Suy, Mateu Villaret. A System for Solving Constraint Satisfaction Problems with SMT.	Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010	(0)	2010

Show item 1 to 10 of 37  

Your query returned 37 matches in the database.