共 50 条
- [21] ONLINE ALGORITHMS FOR POLYNOMIALLY SOLVABLE SATISFIABILITY PROBLEMS JOURNAL OF LOGIC PROGRAMMING, 1991, 10 (01): : 69 - 90
- [23] Variational satisfiability solving: efficiently solving lots of related SAT problems Empirical Software Engineering, 2023, 28
- [24] Solving employee timetabling problems using Boolean satisfiability 2006 INNOVATIONS IN INFORMATION TECHNOLOGY, 2006, : 71 - 75
- [25] On solving stack-based incremental satisfiability problems 2000 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2000, : 379 - 382
- [27] An Approximative Inference Method for Solving ∃∀SO Satisfiability Problems JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2012, 45 : 79 - 124
- [28] A new Approach for Solving Satisfiability Problems with Qualitative Preferences ECAI 2008, PROCEEDINGS, 2008, 178 : 510 - +
- [29] An Approximative Inference Method for Solving ∃∀SO Satisfiability Problems LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 326 - 338