Result 1 to 20 of 25 total
Lower bounds and upper bounds for MaxSAT. (English)
Hamadi, Youssef (ed.) et al., Learning and intelligent optimization. 6th international conference, LION 6, Paris, France, January 16‒20, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34412-1/pbk). Lecture Notes in Computer Science 7219, 402-407 (2012).
1
An empirical study of encodings for group maxsat. (English)
Kosseim, Leila (ed.) et al., Advances in artificial intelligence. 25th Canadian conference on artificial intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28‒30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30352-4/pbk). Lecture Notes in Computer Science 7310. Lecture Notes in Artificial Intelligence, 85-96 (2012).
2
Read-once resolution for unsatisfiability-based Max-SAT algorithms (English)
IJCAI, 572-577 (2011).
3
Core-guided binary search algorithms for maximum satisfiability (English)
AAAI (2011).
4
The impact of Max-SAT resolution-based preprocessors on local search solvers. (English)
J. Satisf. Boolean Model. Comput. 7, No. 2-3, 89-126 (2010).
5
Novel received signal strength-based indoor location system: development and testing. (English)
EURASIP J. Wirel. Commun. Netw. 2010, Article ID 254345, 11 p. (2010).
6
The impact of Max-SAT resolution-based preprocessors on local search solvers (English)
JSAT 7, No. 2-3, 89-126 (2010).
7
New research lines for Max-SAT - exploiting the recent resolution rule for Max-sat (English)
ICAART (1), 648-651 (2010).
8
A logical approach to efficient Max-SAT solving. (English)
Artif. Intell. 172, No. 2-3, 204-233 (2008).
9
Minimaxsat: an efficient weighted Max-SAT solver. (English)
J. Artif. Intell. Res. (JAIR) 31, 1-32 (2008).
10
2006 and 2007 Max-SAT evaluations: contributed instances. (English)
J. Satisf. Boolean Model. Comput. 4, No. 2-4, 239-250 (2008).
11
A Max-SAT inference-based pre-processing for Max-Clique. (English)
Kleine Büning, Hans (ed.) et al., Theory and applications of satisfiability testing ‒ SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12‒15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79718-0/pbk). Lecture Notes in Computer Science 4996, 139-152 (2008).
12
2006 and 2007 Max-SAT evaluations: contributed instances (English)
JSAT 4, No. 2-4, 239-250 (2008).
13
A Max-SAT inference-based pre-processing for Max-clique (English)
SAT, 139-152 (2008).
14
On applying unit propagation-based lower bounds in pseudo-Boolean optimization (English)
FLAIRS Conference, 71-76 (2008).
15
MiniMaxSat: a new weighted Max-SAT solver. (English)
Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing ‒ SAT 2007. 10th international conference, Lisbon, Portugal, May 28‒31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 41-55 (2007).
16
Minimaxsat: A new weighted Max-SAT solver (English)
SAT, 41-55 (2007).
17
A logical approach to efficient max-SAT solving. (English)
Comput. Res. Repos. 2006, Article No. 0611025 (2006).
18
Intelligent variable orderings and re-orderings in dAC-based solvers for WCSP. (English)
J. Heuristics 12, No. 4-5, 287-306 (2006).
19
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP. (English)
J. Heuristics 12, No. 4-5, 287-306 (2006).
20
Result 1 to 20 of 25 total
Start
Contact
Print
General Help
