A resolution proof system for dependency stochastic Boolean satisfiability. (English) Zbl 07739776
MSC:
68V15
Found 24 Documents (Results 1–24)
Quantifier elimination in stochastic Boolean satisfiability. (English) Zbl 07880744
Meel, Kuldeep S. (ed.) et al., 25th international conference on theory and applications of satisfiability testing, SAT 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 236, Article 23, 17 p. (2022).
On the effect of learned clauses on stochastic local search. (English) Zbl 07331014
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 89-106 (2020).
Bridging between 0/1 and linear programming via random walks. (English) Zbl 1433.68156
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 568-577 (2019).
Generalized probabilistic satisfiability. (English) Zbl 1401.68113
Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 39-56 (2017).
Solving strong controllability of temporal problems with uncertainty using SMT. (English) Zbl 1314.90043
MSC:
90B36
Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability. (English) Zbl 1242.68191
Optimization and probabilistic satisfiability on nested and co-nested formulas. (English) Zbl 1225.90149
On modal logics of linear inequalities. (English) Zbl 1254.03036
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 235-255 (2010).
MSC:
03B45
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. (English) Zbl 1205.68252
Comparing two stochastic local search algorithms for constraint satisfaction problems (invited talk). (English) Zbl 1285.68165
Ablayev, Farid (ed.) et al., Computer science – theory and applications. 5th international computer science symposium in Russia, CSR 2010, Kazan, Russia, June 16–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13181-3). Lecture Notes in Computer Science 6072, 344-349 (2010).
Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques. (English) Zbl 1211.68386
An evolutionary local search method for incremental satisfiability. (English) Zbl 1109.68594
Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 143-156 (2004).
MSC:
68T20
Auto-Walksat: A self-tuning implementation of Walksat. (English) Zbl 0990.90533
Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
Some simulation results as to weakly correlated processes. (English) Zbl 0634.60058
Reviewer: J.Sefránek
Filter Results by …
Document Type
- Journal Articles (16)
- Collection Articles (8)
all
top 5
Author
- Fränzle, Martin (2)
- Jiang, Jie-Hong Roland (2)
- Littman, Michael L. (2)
- Majercik, Stephen M. (2)
- Rubinstein, Reuven Y. (2)
- Teige, Tino (2)
- Ahmadi, Reza H. (1)
- Borkar, Vivek Shripad (1)
- Brakensiek, Joshua (1)
- Brass, Stefan (1)
- Caleiro, Carlos (1)
- Casal, Filipe (1)
- Chauny, Fabien (1)
- Cheng, Che (1)
- Cimatti, Alessandro (1)
- Dasu, Sriram (1)
- Dix, Jurgen (1)
- Dupuis, Paul G. (1)
- Eggers, Andreas (1)
- El-bachir Menai, Mohamed (1)
- Fattahi, Ali (1)
- Fellenberg, Benno (1)
- Guruswami, Venkatesan (1)
- Hansen, Pierre (1)
- Jaumard, Brigitte (1)
- Kautz, Henry A. (1)
- Kaynar, Bahar (1)
- Kohli, Rajeev (1)
- Krishnamurti, Ramesh (1)
- Kupke, Clemens (1)
- Liu, Lengning (1)
- Lorenz, Jan-Hendrik (1)
- Luo, Yunrong (1)
- Micheli, Andrea (1)
- Mordido, Andreia (1)
- Patterson, Donald J. (1)
- Pattinson, Dirk (1)
- Perron, Sylvain (1)
- Pitassi, Toniann (1)
- Poggi de Aragão, Marcus V. S. (1)
- Pretolani, Daniele (1)
- Przymusinski, Teodor C. (1)
- Ridder, Ad (1)
- Roveri, Marco (1)
- Scholl, Christoph (1)
- Schöning, Uwe (1)
- Shah, Suhail Mohmad (1)
- Truszczyński, Mirosław (1)
- Tu, Kuan-Hua (1)
- Vaisman, Radislav (1)
- vom Scheidt, Jürgen (1)
- Wang, Hao-Ren (1)
- Wörz, Florian (1)
all
top 5
Serial
- Artif. Intell. (2)
- J. Autom. Reasoning (2)
- Constraints (2)
- Math. Comput. Simul. (1)
- Oper. Res. (1)
- Syst. Control Lett. (1)
- Int. J. Approx. Reasoning (1)
- SIAM J. Discrete Math. (1)
- Ann. Oper. Res. (1)
- Methodol. Comput. Appl. Probab. (1)
- J. Log. Algebr. Program. (1)
- Stoch. Models (1)
- Log. Methods Comput. Sci. (1)
