Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94205-6_14 ◽

2018 ◽

pp. 194-210 ◽

Cited By ~ 2

Author(s):

Marcelo Finger ◽

Sandro Preto

Keyword(s):

Probabilistic Satisfiability

Download Full-text

Generalized probabilistic satisfiability through integer programming

Journal of the Brazilian Computer Society ◽

10.1186/s13173-015-0028-x ◽

2015 ◽

Vol 21 (1) ◽

Cited By ~ 2

Author(s):

Glauber De Bona ◽

Fabio G. Cozman ◽

Marcelo Finger

Keyword(s):

Integer Programming ◽

Probabilistic Satisfiability

Download Full-text

Probabilistic satisfiability

Journal of Complexity ◽

10.1016/0885-064x(88)90006-4 ◽

1988 ◽

Vol 4 (1) ◽

pp. 1-11 ◽

Cited By ~ 93

Author(s):

George Georgakopoulos ◽

Dimitris Kavvadias ◽

Christos H Papadimitriou

Keyword(s):

Probabilistic Satisfiability

Download Full-text

Variable Neighborhood Search for the Probabilistic Satisfiability Problem

Metaheuristics - Operations Research/Computer Science Interfaces Series ◽

10.1007/978-0-387-71921-4_9 ◽

2007 ◽

pp. 173-188 ◽

Cited By ~ 3

Author(s):

Dejan Jovanović ◽

Nenad Mladenović ◽

Zoran Ognjanović

Keyword(s):

Variable Neighborhood Search ◽

Satisfiability Problem ◽

Neighborhood Search ◽

Probabilistic Satisfiability

Download Full-text

Generalized Probabilistic Satisfiability

2013 Brazilian Conference on Intelligent Systems ◽

10.1109/bracis.2013.38 ◽

2013 ◽

Author(s):

Glauber de Bona ◽

Fabio G. Cozman ◽

Marcelo Finger

Keyword(s):

Probabilistic Satisfiability

Download Full-text

A Hybrid Method for Probabilistic Satisfiability

Lecture Notes in Computer Science - Automated Deduction – CADE-23 ◽

10.1007/978-3-642-22438-6_27 ◽

2011 ◽

pp. 354-368 ◽

Cited By ~ 6

Author(s):

Pavel Klinov ◽

Bijan Parsia

Keyword(s):

Hybrid Method ◽

Probabilistic Satisfiability

Download Full-text

A Refuted Conjecture on Probabilistic Satisfiability

Advances in Artificial Intelligence – SBIA 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16138-4_30 ◽

2010 ◽

pp. 293-302 ◽

Cited By ~ 1

Author(s):

Marcelo Finger ◽

Glauber De Bona

Keyword(s):

Probabilistic Satisfiability

Download Full-text

Probabilistic satisfiability: algorithms with the presence and absence of a phase transition

Annals of Mathematics and Artificial Intelligence ◽

10.1007/s10472-015-9466-6 ◽

2015 ◽

Vol 75 (3-4) ◽

pp. 351-389 ◽

Cited By ~ 8

Author(s):

Marcelo Finger ◽

Glauber De Bona

Keyword(s):

Phase Transition ◽

Probabilistic Satisfiability ◽

Presence And Absence ◽

Satisfiability Algorithms

Download Full-text

Optimization and probabilistic satisfiability on nested and co-nested formulas

Annals of Operations Research ◽

10.1007/s10479-008-0502-3 ◽

2009 ◽

Vol 188 (1) ◽

pp. 371-387

Author(s):

Daniele Pretolani

Keyword(s):

Probabilistic Satisfiability

Download Full-text

Probabilistic Satisfiability and Coherence Checking through Integer Programming

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/978-3-642-39091-3_13 ◽

2013 ◽

pp. 145-156 ◽

Cited By ~ 7

Author(s):

Fabio Gagliardi Cozman ◽

Lucas Fargoni di Ianni

Keyword(s):

Integer Programming ◽

Probabilistic Satisfiability

Download Full-text

A Logic Based Algorithm for Solving Probabilistic Satisfiability

Advances in Artificial Intelligence – IBERAMIA 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16952-6_46 ◽

2010 ◽

pp. 453-462 ◽

Cited By ~ 1

Author(s):

Marcelo Finger ◽

Glauber De Bona

Keyword(s):

Probabilistic Satisfiability

Download Full-text