Search results
From MaRDI portal
- answer set programming 2017-11-09 Paper Automatic construction of parallel portfolios via algorithm configuration 2017-02-22 Paper The configurable SAT solver...10 bytes (15 words) - 16:22, 10 December 2023
- 2017-12-05 Paper Computational analysis of perfect-information position auctions 2017-04-21 Paper Automatic construction of parallel portfolios via algorithm...10 bytes (17 words) - 14:43, 10 December 2023
- answer set programming 2017-11-09 Paper Automatic construction of parallel portfolios via algorithm configuration 2017-02-22 Paper The configurable SAT solver...10 bytes (17 words) - 15:12, 6 December 2023
- nonlinear systems 2023-03-31 Paper Practical quantum digital signature with configurable decoy states 2023-01-13 Paper Predicting optimal parameters with random...10 bytes (14 words) - 09:27, 9 December 2023
- 5-cycles intersecting with 6-cycles 2022-06-03 Paper Nonlinear dynamic analysis of thermally deformed beams subjected to uniform loading resting on nonlinear...10 bytes (14 words) - 23:44, 9 December 2023
- and Graph Homomorphism Verification 2022-03-23 Paper Energy-Efficiency Analysis of Analog and Digital Compressive Sensing in Wireless Sensors 2021-08-26...10 bytes (13 words) - 07:00, 7 October 2023
- constrained monotonic abstraction Refining abstract interpretations Parallel program analysis via range splitting Linear Arithmetic with Stars Could We Have...15 bytes (874 words) - 16:57, 8 February 2024
- SMT-based verification of program changes through summary repair Loop verification with invariants and contracts Parallel program analysis via range splitting...15 bytes (452 words) - 07:09, 1 February 2024
- uninterpreted functions Adversarial reachability for program-level security analysis Automated program repair using formal verification techniques Upper bound...15 bytes (839 words) - 23:12, 8 February 2024
- Refining abstract interpretations Parallel program analysis via range splitting Abstraction Refinement of Linear Programs with Arrays Probabilistic CEGAR...15 bytes (715 words) - 21:13, 4 February 2024
- numerical analysis (65C10) Parallel numerical computation (65Y05) Pseudo-random numbers; Monte Carlo methods (11K45) Cited In (26) A class of parallel random...15 bytes (355 words) - 17:30, 6 February 2024
- In (11) Analysis and Transformation of Constrained Horn Clauses for Program Verification A general framework for static cost analysis of parallel logic programs...15 bytes (606 words) - 16:58, 7 February 2024
- abstractions to cover their states and transitions Analysis and Transformation of Constrained Horn Clauses for Program Verification Abstraction-based incremental...15 bytes (909 words) - 21:14, 4 February 2024
- (Why is that?) Tools and Algorithms for the Construction and Analysis of Systems Parallel assignments in software model checking Estimating the maximum...15 bytes (495 words) - 15:31, 3 February 2024
- algorithm for the job-shop scheduling problem Scheduling of parallel programs on configurable multiprocessors by genetic algorithms First fit decreasing...15 bytes (1,119 words) - 08:01, 31 January 2024
- Computer Aided Verification Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis Thread-modular counterexample-guided...15 bytes (225 words) - 19:31, 3 February 2024
- contributions to logics and programming Exploiting partial variable assignment in interpolation-based model checking Configurable verification of timed automata...15 bytes (900 words) - 02:24, 5 February 2024
- https://arxiv.org/abs/1111.2249 Recommendations Learning parallel portfolios of algorithms ManySAT: a parallel SAT solver An empirical evaluation of portfolios...15 bytes (990 words) - 06:01, 5 February 2024
- Carlo simulationscomparisonstest program Mathematics Subject Classification ID Random number generation in numerical analysis (65C10) Pseudo-random numbers;...15 bytes (1,001 words) - 15:28, 31 January 2024
- is that?) Analysis and Transformation of Constrained Horn Clauses for Program Verification IC3 -- flipping the E in ICE Diversifying a parallel SAT solver...15 bytes (1,025 words) - 22:48, 3 February 2024
