Results 281 to 290 of about 14,100 (298)

Solving QBF with counterexample guided refinement

Artificial Intelligence, 2016
João Marques-Silva, Mikoláš Janota, William Klieber   +2 more
exaly  

Counterexamples

2008
openaire   +1 more source

Counterexample to a Continuation-Based Algorithm for Finding All Power Flow Solutions

IEEE Transactions on Power Systems, 2013
Daniel Molzahn, Heng Chen, Bernard C Lesieutre   +2 more
exaly  

Counterexample

2019
openaire   +1 more source

Counterexamples

2015
openaire   +1 more source

A Counterexample to Matsumoto's Conjecture Regarding Absolute Length vs. Relative Length in Finsler Manifolds

Reports on Mathematical Physics, 2018
Jeanne Clelland
exaly  

A counterexample to a conjecture on order statistics

Statistics and Probability Letters, 1994
exaly  

Counterexamples

2017
openaire   +1 more source

The Counterexample

2021
openaire   +1 more source

An Efficient Algorithm to Understand Long Counterexample

Applied Mechanics and Materials, 2013
exaly