Publications :: Search

Show author

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

Author information
First name:	Robert
Last name:	Nieuwenhuis
DBLP:	n/RobertNieuwenhuis
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 10 of 78  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Robert Nieuwenhuis. SAT and SMT Are Still Resolution: Questions and Challenges.	Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012	(0)	2012
	Conference paper Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger. A New Look at BDDs for Pseudo-Boolean Constraints.	J. Artif. Intell. Res. (JAIR) 2012, Volume 45	(0)	2012
	Journal article Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. A Framework for Certified Boolean Branch-and-Bound Optimization.	J. Autom. Reasoning 2011, Volume 46	(0)	2011
	Journal article Roberto Javier Asín Achá, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. Cardinality Networks: a theoretical and empirical study.	Constraints 2011, Volume 16	(0)	2011
	Conference paper Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. BDDs for Pseudo-Boolean Constraints - Revisited.	Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings 2011	(0)	2011
	Conference paper Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey. Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.	Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings 2011	(0)	2011
	Conference paper Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov. Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272).	Dagstuhl Reports 2011, Volume 1	(0)	2011
	Conference paper Robert Nieuwenhuis. SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering.	Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings 2010	(0)	2010
	Conference paper Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell. Hard problems in max-algebra, control theory, hypergraphs and other areas.	Inf. Process. Lett. 2009, Volume 110	(0)	2010
	Journal article Roberto Javier Asín Achá, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. Practical algorithms for unsatisfiability proof and core generation in SAT solvers.	AI Commun. 2010, Volume 23	(0)	2010

Show item 1 to 10 of 78  

Your query returned 78 matches in the database.