Robert Nieuwenhuis - Concepedia

Author

Robert Nieuwenhuis

Universitat Politècnica de Catalunya ORCID

Also Known As

Nieuwenhuis, Robert, R. Nieuwenhuis, ROBERT NIEUWENHUIS, Robert Nieuwenhuis

120

Publications

3.8K

Citations

H-Index

Concepts

All Affiliations

Universitat Politècnica de Catalunya École Normale Supérieure Paris-Saclay Max Planck Institute for Informatics University of Bergen Max Planck Society

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	16	1.3K
2	Language Studies	3	3	74
3	Computer Engineering	2	2	48
4	Business	1	1	122
5	Education	1	1	78

Robert Nieuwenhuis

Publications

1.6K

Citations

H-Index

Page 1

	Year	Citations
Solving SAT and SAT Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Journal of the ACM Decision ProcedureEngineeringAutomated ReasoningPropositional LogicPractical Dpll Algorithms	2006	766
Cardinality Networks: a theoretical and empirical study Roberto Asín‐Achá, Robert Nieuwenhuis, Albert Oliveras, Constraints Network ScienceGraph TheoryData ScienceEngineeringNetwork Complexity	2011	122
Theorem Proving with Ordering and Equality Constrained Clauses Robert Nieuwenhuis, Albert Rubio Journal of Symbolic Computation Order TheoryEngineeringAutomated ReasoningProof ComplexityEquality Constrained Clauses	1995	111
Curriculum-based course timetabling with SAT and MaxSAT Roberto Asín‐Achá, Robert Nieuwenhuis Annals of Operations Research Curriculum-based CourseCurriculum & InstructionEducationLearning AnalyticsComputer Science	2012	78
Fast congruence closure and extensions Robert Nieuwenhuis, Albert Oliveras Information and Computation Modulus ProblemComputational Number TheoryFast Congruence ClosureResidue System	2007	70
Simple LPO constraint solving methods Robert Nieuwenhuis Information Processing Letters Numerical AnalysisMathematical ProgrammingConstraint SolvingEngineeringSimple Lpo Constraint	1993	56
Induction=I-Axiomatization+First-Order Consistency Hubert Comon, Robert Nieuwenhuis Information and Computation	2000	43
Basic paramodulation and decidable theories Robert Nieuwenhuis Catalog SetsEngineeringHorn ClausesComputability TheoryAutomated Reasoning	2002	41
A total AC-compatible ordering based on RPO Albert Rubio, Robert Nieuwenhuis Theoretical Computer Science EngineeringPower IcSmart GridPower CircuitTotal Ac-compatible Ordering	1995	30
Hard problems in max-algebra, control theory, hypergraphs and other areas Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell Information Processing Letters Mathematical ProgrammingAlgebraic LogicEngineeringExtremal Graph TheoryHard Problems	2009	30

Page 1