Robert Nieuwenhuis

Cited by

	All	Since 2020
Citations	6143	1152
h-index	35	16
i10-index	64	20

360

180

270

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202535 57 59 60 68 81 54 56 125 79 123 129 158 174 264 276 265 279 243 277 360 310 297 283 254 256 265 231 246 214 200 215 46

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Albert OliverasTechnical University of CataloniaVerified email at lsi.upc.edu
Enric Rodriguez CarbonellUniversitat Politècnica de CatalunyaVerified email at upc.edu
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Verified email at ucm.es
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Roberto Asín-AcháUniversidad Técnica Federico Santa MaríaVerified email at usm.cl
Andrei VoronkovThe University of Manchester; EasyChairVerified email at cs.man.ac.uk
Miquel Bofill ArasaUniversitat de GironaVerified email at udg.edu
Ignasi AbíoPostdoctoral Researcher of Computer Science at The Optimisation Research Group of NICTAVerified email at nicta.com.au
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Michael RusinowitchINRIAVerified email at loria.fr
Paliath NarendranUniversity at Albany---SUNYVerified email at albany.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Alexandre RiazanovSoftware Development Engineer, Amazon Web ServicesVerified email at ipsnp.com
Valentin Mayer-EichbergerUniversität PotsdamVerified email at mayer-eichberger.de
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Javier LarrosaProfessor of Computer Science, Universitat Politecnica de CatalunyaVerified email at cs.upc.edu
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com

Robert Nieuwenhuis

Professor of Computer Science, Tech. Univ. Catalonia (UPC), Barcelona

Verified email at cs.upc.edu - Homepage

Logic in Computer Science Combinatorial Optimization Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) R Nieuwenhuis, A Oliveras, C Tinelli Journal of the ACM (JACM) 53 (6), 937-977, 2006	1256	2006
Paramodulation-Based Theorem Proving, chapter Handbook of Automated Reasoning, Volume I, Chapter 7 R Nieuwenhuis, A Rubio Elsevier Science and MIT Press, 2001	531*	2001
DPLL(T): Fast Decision Procedures H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	484	2004
On SAT modulo theories and optimization problems R Nieuwenhuis, A Oliveras Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	213	2006
Cardinality networks: a theoretical and empirical study R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Constraints 16, 195-221, 2011	192	2011
DPLL (T) with exhaustive theory propagation and its application to difference logic R Nieuwenhuis, A Oliveras Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	181	2005
SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	167	2006
Theorem proving with ordering and equality constrained clauses R Nieuwenhuis, A Rubio Journal of Symbolic Computation 19 (4), 321-351, 1995	166	1995
Proof-producing congruence closure R Nieuwenhuis, A Oliveras International Conference on Rewriting Techniques and Applications, 453-468, 2005	159	2005
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005	155	2005
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2006	138	2006
The Barcelogic SMT Solver: Tool Paper M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio International Conference on Computer Aided Verification, 294-298, 2008	137	2008
Curriculum-based course timetabling with SAT and MaxSAT R Asín Achá, R Nieuwenhuis Annals of Operations Research 218, 71-91, 2014	132	2014
Basic superposition is complete R Nieuwenhuis, A Rubio European Symposium on Programming, 371-389, 1992	120	1992
Fast congruence closure and extensions R Nieuwenhuis, A Oliveras Information and Computation 205 (4), 557-580, 2007	116	2007
A new look at BDDs for pseudo-Boolean constraints I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, ... Journal of Artificial Intelligence Research 45, 443-480, 2012	108	2012
Theorem proving with ordering constrained clauses R Nieuwenhuis, A Rubio International Conference on Automated Deduction, 477-491, 1992	107	1992
Cardinality networks and their applications R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009	104	2009
Simple LPO constraint solving methods R Nieuwenhuis Information Processing Letters 47 (2), 65-69, 1993	89	1993
A parametric approach for smaller and better encodings of cardinality constraints I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell International Conference on Principles and Practice of Constraint …, 2013	81	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors