Search results
From MaRDI portal
- Khurram Sajid (section List of research outcomes)Publication Date of Publication Type BDD based procedures for a theory of equality with uninterpreted functions 2003-05-11 Paper...10 bytes (16 words) - 20:48, 24 September 2023
- Anuj Goel (section List of research outcomes)Publication Date of Publication Type BDD based procedures for a theory of equality with uninterpreted functions 2003-05-11 Paper Dynamic adaptive autonomy...10 bytes (16 words) - 20:48, 24 September 2023
- Adnan Aziz (section List of research outcomes)verification of level-sensitive latch-based netlists 2004-03-15 Paper BDD based procedures for a theory of equality with uninterpreted functions 2003-05-11...10 bytes (16 words) - 03:43, 7 October 2023
- Vigyan Singhal (section List of research outcomes)verification of level-sensitive latch-based netlists 2004-03-15 Paper BDD based procedures for a theory of equality with uninterpreted functions 2003-05-11...10 bytes (16 words) - 03:43, 7 October 2023
- Hai Zhou (section List of research outcomes)tree construction with Delaynay triangulation 2003-06-24 Paper BDD based procedures for a theory of equality with uninterpreted functions 2003-05-11 Paper...10 bytes (16 words) - 21:27, 24 September 2023
- Ofer Strichman (section List of research outcomes)deciding equality logic with uninterpreted functions 2006-04-28 Paper Computer Aided Verification 2006-01-10 Paper Computer Aided Verification 2006-01-10...10 bytes (16 words) - 20:10, 6 October 2023
- Roberto Bruttomesso (section List of research outcomes)Quantifier-Free Interpolation of a Theory of Arrays 2012-05-16 Paper https://portal.mardi4nfdi.de/entity/Q5389080 2012-04-24 Paper A Combination of Rewriting and Constraint...10 bytes (16 words) - 20:11, 6 October 2023
- D. Massart (section List of research outcomes)expansions of piecewise-smooth functions. 2004-06-15 Paper Asymptotics of the frequencies of natural oscillations of elastic beams joined in the form of the letter...10 bytes (15 words) - 12:30, 24 September 2023
- Peter J. Stuckey (section List of research outcomes)procedure for regular separability of context-free languages 2016-04-01 Paper An Abstract Domain of Uninterpreted Functions 2016-03-23 Paper Automatic Minimal-Height...10 bytes (18 words) - 00:40, 10 December 2023
- parallelization; satisfiability modulo theories; conciliation; lazy decomposition; theory of equality with uninterpreted functions Mathematics Subject Classification...15 bytes (98 words) - 07:49, 1 February 2024
- Publication date: 24 September 2004 zbMATH Keywords equality logic; translation validation; uninterpreted functions; compiler verification; finite instantiation;...15 bytes (54 words) - 02:36, 8 February 2024
- (FTA); predicate abstraction; equality and uninterpreted functions (EUF); redundancy architectures; satisfiability modulo theory (SMT); triple modular redundancy...15 bytes (96 words) - 10:14, 30 January 2024