Concepedia

Berthe Y. Choueiry

BY

13

Publications

319

Citations

12

H-Index

1994

Active since

Affiliations

University of Nebraska–Lincoln(Current)

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

University College Cork

Université de Montpellier

Centre National de la Recherche Scientifique

Berthe Y. Choueiry is an author at University of Nebraska–Lincoln specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningMathematical ProgrammingCombinatorial OptimizationFormal MethodsSystems EngineeringData ScienceFormal VerificationVerification

Publications per year

1994–2013

13

Publications

13

A new effcient algorithm for solving the simple temporal problem

Xu Lin, Berthe Y. Choueiry · 2005 · 62 citations

Mathematical Programming, Computational Science, Engineering +12

On the Computation of Local Interchangeability In Discrete Constraint Satisfaction Problems

Berthe Y. Choueiry, Guevara Noubir · 1998 · 50 citations

A First Practical Algorithm for High Levels of Relational Consistency

Shant Karakashian, Robert J. Woodward, Christopher G. Reeson et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2010 · 35 citations · Full text

Mathematical Programming, Relational Database, Engineering +21

Abstraction methods for resource allocation

Berthe Y. Choueiry · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1994 · 29 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +22

Abstraction and reformulation in artificial intelligence

Robert C. Holte, Berthe Y. Choueiry · Philosophical Transactions of the Royal Society B Biological Sciences · 2003 · 24 citations · Full text

Artificial Intelligence, Cognitive Architecture, Abstract Machine +15

Rows per page

1–5 of 13