Concepedia

Robert Nieuwenhuis

RN

26

Publications

1.6K

Citations

16

H-Index

1993

Active since

Affiliations

Universitat Politècnica de Catalunya(Current)

École Normale Supérieure Paris-Saclay

Max Planck Institute for Informatics

University of Bergen

Max Planck Society

Robert Nieuwenhuis is an author at Universitat Politècnica de Catalunya specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityMathematical ProgrammingCombinatorial OptimizationLanguageLinguistics

Publications per year

1993–2012

26

Publications

26

Solving SAT and SAT Modulo Theories

Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 766 citations

Decision Procedure, Engineering, Automated Reasoning +11

Cardinality Networks: a theoretical and empirical study

Roberto Asín‐Achá, Robert Nieuwenhuis, Albert Oliveras et al. · Constraints · 2011 · 122 citations

Network Science, Graph Theory, Data Science +9

Theorem Proving with Ordering and Equality Constrained Clauses

Robert Nieuwenhuis, Albert Rubio · Journal of Symbolic Computation · 1995 · 111 citations

Order Theory, Engineering, Automated Reasoning +3

Curriculum-based course timetabling with SAT and MaxSAT

Roberto Asín‐Achá, Robert Nieuwenhuis · Annals of Operations Research · 2012 · 78 citations

Curriculum-based Course, Curriculum & Instruction, Education +5

Fast congruence closure and extensions

Robert Nieuwenhuis, Albert Oliveras · Information and Computation · 2007 · 70 citations

Modulus Problem, Computational Number Theory, Fast Congruence Closure +1

Rows per page

1–5 of 26