Collaborated with:J.Lagniez D.L.Berre V.Montmirail
Talks about:approach (1) satisfi (1) problem (1) assumpt (1) minim (1) solv (1) base (1)
Person: Tiago de Lima
DBLP: Lima:Tiago_de
Contributed to:
2018Wrote 1 papers:
- IJCAR-2018-LagniezBLM #approach #problem #satisfiability
- An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem (JML, DLB, TdL, VM), pp. 1–18.