Robert Nieuwenhuis

Cited by

	All	Since 2018
Citations	5757	1342
h-index	35	16
i10-index	64	22

360

180

270

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202335 62 52 62 68 78 57 56 121 69 118 123 156 174 267 259 265 281 238 274 354 303 303 283 253 253 271 236 229 210 143

Public access

View all

9 articles

1 article

available

not available

Based on funding mandates

Co-authors

Albert OliverasTechnical University of CataloniaVerified email at lsi.upc.edu
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Verified email at ucm.es
Enric Rodriguez CarbonellUniversitat Politècnica de CatalunyaVerified email at upc.edu
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
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Ignasi AbíoPostdoctoral Researcher of Computer Science at The Optimisation Research Group of NICTAVerified email at nicta.com.au
Michael RusinowitchINRIAVerified email at loria.fr
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
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
Alexandre RiazanovSoftware Development Engineer, Amazon Web ServicesVerified email at ipsnp.com
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	1160	2006
Paramodulation-Based Theorem Proving, chapter Handbook of Automated Reasoning, Volume I, Chapter 7 R Nieuwenhuis, A Rubio Elsevier Science and MIT Press, 2001	501*	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	458	2004
On SAT modulo theories and optimization problems R Nieuwenhuis, A Oliveras Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	198	2006
Cardinality networks: a theoretical and empirical study R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Constraints 16, 195-221, 2011	178	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	175	2005
Theorem proving with ordering and equality constrained clauses R Nieuwenhuis, A Rubio Journal of Symbolic Computation 19 (4), 321-351, 1995	160	1995
SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	152	2006
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005	147	2005
Proof-producing congruence closure R Nieuwenhuis, A Oliveras International Conference on Rewriting Techniques and Applications, 453-468, 2005	133	2005
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	132	2008
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006	131	2006
Curriculum-based course timetabling with SAT and MaxSAT R Asín Achá, R Nieuwenhuis Annals of Operations Research 218, 71-91, 2014	116	2014
Basic superposition is complete R Nieuwenhuis, A Rubio European Symposium on Programming, 371-389, 1992	116	1992
Theorem proving with ordering constrained clauses R Nieuwenhuis, A Rubio International Conference on Automated Deduction, 477-491, 1992	104	1992
Fast congruence closure and extensions R Nieuwenhuis, A Oliveras Information and Computation 205 (4), 557-580, 2007	101	2007
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	92	2009
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	90	2012
Simple LPO constraint solving methods R Nieuwenhuis Information Processing Letters 47 (2), 65-69, 1993	86	1993
Induction= I-axiomatization+ first-order consistency H Comon, R Nieuwenhuis Information and Computation 159 (1-2), 151-186, 2000	75	2000

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