Robert Nieuwenhuis

Cited by

	All	Since 2019
Citations	6020	1339
h-index	35	16
i10-index	64	23

360

180

270

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202435 61 57 58 68 77 52 59 124 69 120 130 154 172 264 264 270 277 239 272 352 306 301 288 252 250 267 234 247 203 194 194

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
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
Miquel Bofill ArasaUniversitat de GironaVerified email at udg.edu
Andrei VoronkovThe University of Manchester; EasyChairVerified email at cs.man.ac.uk
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
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
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	1234	2006
Paramodulation-Based Theorem Proving, chapter Handbook of Automated Reasoning, Volume I, Chapter 7 R Nieuwenhuis, A Rubio Elsevier Science and MIT Press, 2001	520*	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	474	2004
On SAT modulo theories and optimization problems R Nieuwenhuis, A Oliveras Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	210	2006
Cardinality networks: a theoretical and empirical study R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Constraints 16, 195-221, 2011	183	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	166	2006
Theorem proving with ordering and equality constrained clauses R Nieuwenhuis, A Rubio Journal of Symbolic Computation 19 (4), 321-351, 1995	163	1995
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005	153	2005
Proof-producing congruence closure R Nieuwenhuis, A Oliveras International Conference on Rewriting Techniques and Applications, 453-468, 2005	152	2005
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006	137	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	136	2008
Curriculum-based course timetabling with SAT and MaxSAT R Asín Achá, R Nieuwenhuis Annals of Operations Research 218, 71-91, 2014	128	2014
Basic superposition is complete R Nieuwenhuis, A Rubio European Symposium on Programming, 371-389, 1992	118	1992
Fast congruence closure and extensions R Nieuwenhuis, A Oliveras Information and Computation 205 (4), 557-580, 2007	114	2007
Theorem proving with ordering constrained clauses R Nieuwenhuis, A Rubio International Conference on Automated Deduction, 477-491, 1992	105	1992
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	102	2012
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	97	2009
Simple LPO constraint solving methods R Nieuwenhuis Information Processing Letters 47 (2), 65-69, 1993	87	1993
Induction= I-axiomatization+ first-order consistency H Comon, R Nieuwenhuis Information and Computation 159 (1-2), 151-186, 2000	79	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