Sign In

Login

Password

Forgot Password ? Sign Up

Formule booléenne quantifiée (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Formule booléenne quantifiée" in French language version.

refsWebsite
Global rank French rank
4acm.org
1,185th place
1,318th place
3doi.org
2nd place
3rd place
2qbflib.org
low place
low place
2sciencedirect.com
149th place
80th place
1issn.org
57th place
4th place
1ieee.org
652nd place
741st place
1satisfiability.org
low place
low place
1tuwien.ac.at
low place
low place
1springer.com
274th place
223rd place
1bham.ac.uk
6,934th place
low place

acm.org

dl.acm.org

  • J. Flum et M. Grohe, Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series), Springer-Verlag New York, Inc., (ISBN 3540299521, lire en ligne), p. 71, section 4.1
  • (en) Mikoláš Janota et Joao Marques-Silva, « Abstraction-based Algorithm for 2QBF », Proceedings of the 14th International Conference on Theory and Application of Satisfiability Testing, Springer-Verlag, sAT'11,‎ , p. 230–244 (ISBN 9783642215803, lire en ligne, consulté le ).
  • (en) Valeriy Balabanov et Jie-Hong R. Jiang, « Resolution Proofs and Skolem Functions in QBF Evaluation and Applications », Proceedings of the 23rd International Conference on Computer Aided Verification, Springer-Verlag, cAV'11,‎ , p. 149–164 (ISBN 9783642221095, lire en ligne, consulté le ).
  • (en) Robert Aubrey Hearn, Games, puzzles, and computation (thèse de doctorat), Massachusetts Institute of Technology, (lire en ligne).

bham.ac.uk

cs.bham.ac.uk

doi.org

dx.doi.org

  • (en) H. Mangassarian, A. Veneris et M. Benedetti, « Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test », IEEE Transactions on Computers, vol. 59,‎ , p. 981–994 (ISSN 0018-9340, DOI 10.1109/TC.2010.74, lire en ligne, consulté le ).
  • H. K. Buning, M. Karpinski et A. Flogel, « Resolution for Quantified Boolean Formulas », Information and Computation, vol. 117,‎ , p. 12–18 (DOI 10.1006/inco.1995.1025, lire en ligne, consulté le ).
  • (en) Bengt Aspvall, Michael F. Plass et Robert Endre Tarjan, « A linear-time algorithm for testing the truth of certain quantified boolean formulas », Information Processing Letters, vol. 8,‎ , p. 121–123 (DOI 10.1016/0020-0190(79)90002-4, lire en ligne, consulté le ).

ieee.org

ieeexplore.ieee.org

  • (en) H. Mangassarian, A. Veneris et M. Benedetti, « Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test », IEEE Transactions on Computers, vol. 59,‎ , p. 981–994 (ISSN 0018-9340, DOI 10.1109/TC.2010.74, lire en ligne, consulté le ).

issn.org

portal.issn.org

  • (en) H. Mangassarian, A. Veneris et M. Benedetti, « Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test », IEEE Transactions on Computers, vol. 59,‎ , p. 981–994 (ISSN 0018-9340, DOI 10.1109/TC.2010.74, lire en ligne, consulté le ).

qbflib.org

satisfiability.org

qbf.satisfiability.org

sciencedirect.com

  • H. K. Buning, M. Karpinski et A. Flogel, « Resolution for Quantified Boolean Formulas », Information and Computation, vol. 117,‎ , p. 12–18 (DOI 10.1006/inco.1995.1025, lire en ligne, consulté le ).
  • (en) Bengt Aspvall, Michael F. Plass et Robert Endre Tarjan, « A linear-time algorithm for testing the truth of certain quantified boolean formulas », Information Processing Letters, vol. 8,‎ , p. 121–123 (DOI 10.1016/0020-0190(79)90002-4, lire en ligne, consulté le ).

springer.com

link.springer.com

  • (en) Tamir Heyman, Dan Smith, Yogesh Mahajan et Lance Leong, Dominant Controllability Check Using QBF-Solver and Netlist Optimizer, Springer International Publishing, coll. « Lecture Notes in Computer Science », (ISBN 9783319092836 et 9783319092843, lire en ligne), p. 227–242

tuwien.ac.at

kr.tuwien.ac.at