Author:
Creignou Nadia,Daudé Hervé
Subject
Computer Science Applications,General Mathematics,Software
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Entanglement Phase Transition with Spin Glass Criticality;Physical Review Letters;2022-06-17
2. Chapter 1. A History of Satisfiability;Frontiers in Artificial Intelligence and Applications;2021-02-02
3. 2-Xor Revisited: Satisfiability and Probabilities of Functions;Algorithmica;2016-02-11
4. The Satisfiability Threshold fork-XORSAT;Combinatorics, Probability and Computing;2015-07-31
5. Probabilities of 2-Xor Functions;LATIN 2014: Theoretical Informatics;2014